MonadPlus instance for WrappedMonad?

David Feuer david.feuer at
Wed Dec 10 03:00:19 UTC 2014

Yes. WrappedMonad is obsolete in 4.8.0, now that Monad is a subclass of
Applicative. I think it is likely to be deprecated soon. The MonadPlus
class itself is now essentially a shorthand for Monad+Alternative. I don't
think it likely that any further work will be put into those two.
On Dec 9, 2014 9:52 PM, "Fumiaki Kinoshita" <fumiexcel at> wrote:

> Hello,
> I'm glad that WrappedMonad is Monad since base-, but I found out
> that MonadPlus instance is still missing.
> Is there any reason not to make MonadPlus m => MonadPlus (WrappedMonad m)?
> Fumiaki
> _______________________________________________
> Libraries mailing list
> Libraries at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list