18 Oct
2007
18 Oct
'07
7:47 p.m.
On Thu, Oct 18, 2007 at 03:36:01AM -0400, ajb@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