Экземпляр MonadException не выводится
Может быть, я делаю что-то глупое здесь, но я получаю:
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
автоматически?