<br><div class="gmail_quote"><div><div class="Ih2E3d"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Now it should be easier to see that this is simply associativity. It's<br>
easy enough to violate, if you want to - but I don't have any nice<br>simple examples to hand.<br><br></blockquote></div><br>I
have recently been reading a tutorial or paper where a Monad that
violated this law was presented. The authors shrugged it off as not
important, that the notation gained by implementing the operation as a
Monad was worth it, but what is not clear is what the consequences of
violating such associativity are.<br>
<br>Does violating this law introduce the potential that your program will not do what you think it should?<br><br>/mike.<br></div></div>