Re: [Proposal] Add instance Monoid a => Monoid (Const a b)

On Sat, Oct 12, 2013 at 7:32 PM, Edward Kmett wrote: On a related note Simon recently asked the core libraries committee if we

should move Data.Functor.Identity into base.

How about calling that one Id then (already in Data.Traversable but not exported). This would be more consistent with Const not being called Constant. Maybe also put it in Control.Applicative or move both somewhere better. For back-compat, transformers could continue to export those modules, with aliases like type Identity = Id.