[Haskell-cafe] Re: [Haskell] Announce: generating free theorems, online and offline

[Stefan O'Rear]

On Thu, Oct 18, 2007 at 03:36:01AM -0400, ajb at spamcop.net wrote:
> (As an aside: The H98 report still list the right-zero law as being
> a law for MonadPlus, even though most MonadPlus instances don't obey
> it.  That's actually a defect in the report.)

All the MonadPlus I can think of (IO,Maybe,[]) satisfy it.  Were you
thinking of right distribution?

Stefan
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20071018/da3b69d9/attachment.bin