haskell - MonadException インスタンスは推定されません

Question

たぶん私はここで何か愚かなことをしているかもしれませんが、私は得ています:

No instance for (MonadException Ti)
  arising from a use of `getInputLine'

コードサンプルで：

module Foo where
import System.Console.Haskeline
import System.Console.Haskeline.MonadException
import Control.Monad.State
import Control.Monad.IO.Class

type Ti = StateT Int IO

action :: String -> Ti ()
action s = do
    n <- get
    lift $ putStrLn $ show n ++ ": " ++ s

repl :: InputT Ti ()
repl = do
    minput <- getInputLine "?"
    case minput of
        Nothing    -> return ()
        Just input -> lift (action input) >> repl

今、System.Console.Haskeline.MonadException定義します

MonadException IO
(MonadIO (StateT s m), MonadException m) => MonadException (StateT s m)

とControl.Monad.IO.Class:

MonadIO IO
MonadIO m => MonadIO (StateT s m)

では、インスタンスをTi自動的に推測するべきではありませんか?

Answer 1

Lazy ステート トランスフォーマーのインスタンスはなく、strict トランスフォーマーのみです。を使用しimport Control.Monad.State.Strictます。