14 Jul
2007
14 Jul
'07
3:34 p.m.
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
-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.