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?
On 7/14/07,
Derek Elkins <derek.a.elkins@gmail.com> wrote:
-Documentation- damn well better have the monad laws. Something is not
a monad if it does not satisfy the monad laws. Furthermore, the monad
laws are almost the only thing that -does- define monads.