Thanks Tobias,<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div text="#000000" bgcolor="#ffffff">
    Without the associativity law, it would be very hard to determine
    the current state of the monad. <br>
    Since the compiler, on &quot;desugaring&quot; 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. <br></div></blockquote><div><br></div><div>Indeed this example helps me.</div><div>Regards,</div><div>Kashyap </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div text="#000000" bgcolor="#ffffff"> </div></blockquote></div>