Re: MonadZero (concluded)

[Ralf Hinze]

|       class Monad m => MonadPlus m where
|         mzero :: m a
|         mplus :: m a -> m a -> m a
| 
| Why is this here?  It doesn't need to be in the prelude.  Just
| leave it for the user to define (and then the user may pick
| better names, like Ringad, zero, and <+>).  -- P

Yes, nuke MonadPlus. For Haskell 2 we can put these things in a
wonderful Monad library.

Ralf