
11 Dec
2014
11 Dec
'14
4 p.m.
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?
+1, I believe the general feeling is: add canonical type class instances whether one exists. These instances certainly make sense. -- ocharles