Well, can you provide an example of an implementation of bind that satisfies an intuitive definition of bind but does not satisfy the monad laws?<br><br><div><span class="gmail_quote">On 7/14/07, <b class="gmail_sendername">
Derek Elkins</b> &lt;<a href="mailto:derek.a.elkins@gmail.com">derek.a.elkins@gmail.com</a>&gt; wrote:</span><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
-Documentation- damn well better have the monad laws.&nbsp;&nbsp;Something is not<br>a monad if it does not satisfy the monad laws.&nbsp;&nbsp;Furthermore, the monad<br>laws are almost the only thing that -does- define monads.<br><br><br></blockquote>
</div><br>