Re: [Haskell-cafe] Haskell & monads for newbies

14 Jul 2007


      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  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.