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 <[EMAIL PROTECTED]> 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.
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
