[Haskell-cafe] Re: what is inverse of mzero and return?
k.schupke at imperial.ac.uk
Mon Jan 24 05:16:45 EST 2005
Just thinking about this, a monad is a Functor plus two
natural-tranformations, Unit and Join. Is there an equivalent definition
for MonadPlus... I am not sure I understand where MonadPlus comes from?
Is it just a Functor and two different definitions of Unit and Join
(from those chosen to be in the class Monad?)
More information about the Haskell-Cafe