On Fri, Jun 21, 2002 at 12:50:21PM +0100, Simon Peyton-Jones wrote: > | From: Jon Fairbairn [mailto:[EMAIL PROTECTED]] > | Sent: 20 June 2002 16:27 > | To: Simon Peyton-Jones > | Subject: Library report, monad zero laws > | > | The old report used to include > | > | m >> zero = zero > | zero >>= m = zero > | m ++ zero = m > | zero ++ m = m > | > | after the other monad laws. Now mzero and mplus are in the > | library, shouldn't there be some mention of these laws there? > | I'd be particularly keen to see a remark about > | > | _|_ >> zero > | > | inevitably being _|_
Would you put that next to m >> zero = zero ? _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell