Re: Proposal: derive Typeable for Data.Monoid types

+1 This was already discussed when I noticed the the Generic instances were missing. https://ghc.haskell.org/trac/ghc/ticket/8797 Edward suggested that: "The Generic and Generic1 instances clearly belong with their definitions. They also deserve Typeable and Data." (...) "FWIW- The committee is in favor of adding the Generic, Generic1, Data and Typeable instances along with Num for Sum and Product." But I guess part of that was lost in the discussion, and did not end up on the patch. My understanding was that it was supposed to. There also seemed to be a consensus in raising a new issue (that I then forgot to raise :( ) to do this for all newtypes in base... João 2014-05-27 7:38 GMT+01:00 Michael Snoyman :

On Tue, May 27, 2014 at 9:31 AM, Roman Cheplyaka wrote:

...

I was surprised to find out that wrappers like Last do not have Typeable instances. Let's add them.

+1

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries