Proposal: Add Monad instance for WrappedMonad

John Wiegley johnw at
Fri Aug 2 23:43:43 CEST 2013

>>>>> Daniel Gorín <dgorin at> writes:

> Control.Applicative.WrappedMonad allows one to use the Functor and
> Applicative interfaces of something that is only known to be a Monad but,
> oddly enough, it hides its Monad interface.  The proposal is to add the
> missing Monad instance.  A typical use case for this instance would be:

> A related proposal for the transformers package would be to add a MonadTrans
> instance for WrappedMonad as well.


John Wiegley
FP Complete                         Haskell tools, training and consulting               johnw on #haskell/

More information about the Libraries mailing list