[Haskell-cafe] A question about monad laws

C K Kashyap ckkashyap at gmail.com
Tue Jan 18 02:27:31 CET 2011

Thanks Tobias,

Without the associativity law, it would be very hard to determine the
> current state of the monad.
> Since the compiler, on "desugaring" do-blocks, will insert brackets, there
> is no guarantee that the results are the same as for the brace-less and
> sugar-free version of the code.

Indeed this example helps me.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20110118/9ad082f7/attachment.htm>

More information about the Haskell-Cafe mailing list