>>>>> Daniel Gorín <dgorin@dc.uba.ar> 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.

+1

--
John Wiegley
FP Complete                         Haskell tools, training and consulting
http://fpcomplete.com               johnw on #haskell/irc.freenode.net

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries