4 Nov
2019
4 Nov
'19
5:55 a.m.
+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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries