Remove WrappedMonad

Henning Thielemann lemming at
Thu Apr 26 05:14:27 UTC 2018

On Wed, 25 Apr 2018, Andrew Martin wrote:

> Control.Applicative features a type named WrappedMonad that is used to 
> recover an Applicative instance from a Monad instance. However, since 
> GHC 7.10, it hasn't been possible to write an Monad instance without an 
> Applicative instance.

I use it in two packages. I am still using mainly GHC before 7.10 because 
of the insecurity introduced by Foldable on tuples in GHC-7.10.

More information about the Libraries mailing list