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

[Wolfgang Jeltsch]

Am Mittwoch, 23. November 2005 10:03 schrieb Fan Wu:
> [...]

> I'm puzzled over this line:
>
>     ~(a,s') <- lift (mplus m1' m2')

Why is this line in Monad.State.StateT?  Recently, we discussed that StateT 
does *not* use a lazy pattern here but that it should be changed to using 
one.  So where did you see this lazy pattern?

> [...]

Best wishes,
Wolfgang