マッチングタイプとモナド。エラー

Question

type C = StateT Int (ErrorT String IO) 


main :: C() 
main = do 
    args <- liftIO $ getArgs 
    case args of 
    [] -> liftIO $ putStrLn "E" 
    (p:ps) -> s "d" 

s :: String -> C() 

私はエラーを持っている：

 Couldn't match type ‘Control.Monad.Trans.State.Lazy.StateT 
          Int 
          (Control.Monad.Trans.Error.ErrorT String IO) 
          ()’ 
        with ‘IO t0’ 
    Expected type: IO t0 
     Actual type: C() 
    In the expression: main 
    When checking the type of the IO action ‘main’ 

エラーとどのようにそれを修復することがありますなぜ私は理解できません。助けてください。

Answer 1

mainは、a（通常は、必ずではありませんが、()）はIO aである必要があります。タイプはStateT Int (ErrorT String IO)であることはできません。これを修正するには、StateTとErrorTで提供されている関数を使用して、それらを基になるモナドのアクションに変換します。