15 Jul
2007
15 Jul
'07
3:34 a.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 <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.