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

Reply via email to