>>>>> Henning Thielemann <lemm...@henning-thielemann.de> writes:

> Does the And monad fulfill the monad laws? In a proper monad an interim
> (return x) (without a '<-') is a no-op.

You are very right.  I will make the necessary changes.

-- 
John Wiegley
FP Complete                         Haskell tools, training and consulting
http://fpcomplete.com               johnw on #haskell/irc.freenode.net

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to