Remove WrappedMonad

David Feuer david.feuer at
Thu Apr 26 05:23:32 UTC 2018

Henning, how hard would it be to add some CPP to make those packages
work without WrappedMonad with base >= 4.8.0?

On Thu, Apr 26, 2018 at 1:14 AM, Henning Thielemann
<lemming at> wrote:
> 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