PROPOSAL: Add instances to Data.Monoid newtype wrappers

[Sean Leather]

As of base 4.7.0.1, none of the newtype wrappers in Data.Monoid have
instances for:

   - Typeable
   - Data
   - Functor


It looks like the base library repository has AutoDeriveTypeable, so I
presume that takes care of the Typeable instances. It also looks like First
and Last now have Functor instances, amongst others.

In particular, I would like to add Functor instances for all parameterized
types, where applicable (i.e. Dual, Sum, Product).

In general, I think we should add whatever other instances make sense. Data
came to mind. Others?

Discussion period: 2 weeks (or perhaps until after the beginning of the new
year)

Regards,
Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20141211/30c07707/attachment.html>