[Haskell-cafe] Re: what is inverse of mzero and return?
ashley at semantic.org
Sun Jan 23 17:47:23 EST 2005
In article <200501231755.45127.jadrian at mat.uc.pt>,
Jorge Adriano Aires <jadrian at mat.uc.pt> wrote:
> I just checked the paper,
> "A monadic Interpretation of Tatics", by Andrew Martin and Jeremy Gibbons
> And in deed, these are the listed laws for MonadPlus. On the other hand,
> is said to be an instance of MonadPlus.
> So now I'm lost.
OK, Martin and Gibbons are to blame, then. I like their list or laws,
but they're wrong to say that Maybe satisfies those laws.
Ashley Yakeley, Seattle WA
More information about the Haskell-Cafe