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