3 Feb
2014
3 Feb
'14
6 p.m.
On Mon, Feb 3, 2014 at 5:51 PM, Dan Burton
Indeed this issue is not limited merely to multiple failure values.
>>> runMaybeT $ lift (putStrLn "effect") >> mzero effect >>> runMaybeT mzero
So you're right. This law is being violated
I thought it was fairly well known that IO violates one of the monad laws, in a way that would lead to this? -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net