Proposal: derive Typeable for Data.Monoid types

[João Cristóvão]

+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 <michael at snoyman.com>:
>
>
>
> On Tue, May 27, 2014 at 9:31 AM, Roman Cheplyaka <roma at ro-che.info> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries
>