ListT IO (http://www.haskell.org/hawiki/ListTDoneRight)
On Sat, 2007-07-14 at 21:34 +0200, Hugh Perkins wrote: > 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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe