[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.
Regards,
Kashyap

>
>
-------------- 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