26 Apr
2018
26 Apr
'18
1:23 a.m.
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
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.