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

Fan Wu wufan9418 at gmail.com
Thu Nov 24 16:27:59 EST 2005

> Yes, but this StateT type application cannot be equal to the outer StateT type
> application because this would result in an infinite type which Haskell
> doesn't support. Example:
>         StateT Int (StateT Int (StateT Int ...))

I see. I was trying to justify the lazy pattern in this mplus, now i'm
at end of my wit:-(


More information about the Haskell-Cafe mailing list