[Haskell-cafe] questions on lazy pattern, StateT monad

Fan Wu wufan9418 at gmail.com
Thu Nov 24 15:52:31 EST 2005


> They cannot belong to the same monad.  If s is the state type and m1' and m2'
> belong to the monad m then m1 and m2 belong to the monad StateT s m.

I know it looks insane, I'm just trying to make a recursive case of
it: technically it's still possible to have a StateT monad as the m in
"StateT s m" right?

Thanks,
Fan


More information about the Haskell-Cafe mailing list