Add instance Data a => Data (ZipList a) to base
Oleg Grenrus
oleg.grenrus at iki.fi
Mon Nov 4 10:55:05 UTC 2019
+1
ZipList should be no-brainer. Someone should write a patch.
GHC seems to generate instances like below just fine for wrapper things too,
though how often `m a` is actually Data? Well probably often enough.
newtype WrappedMonad m a = WrapMonad { unwrapMonad :: m a }
deriving (Data)
-- instance [safe] (Typeable m, Typeable a, Data (m a)) =>
-- Data (WrappedMonad m a)
- Oleg
On 3.11.2019 16.28, Mario wrote:
> I'm surprised this is missing. All newtypes exported from
> Control.Applicative share the same issue, with the exception of Const.
>
>
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
More information about the Libraries
mailing list