Proposal: merge either into transformers

Henning Thielemann lemming at
Sun Dec 16 10:40:44 CET 2012

On Sun, 16 Dec 2012, Ross Paterson wrote:

> Doing an fmap just to make an instance work is pretty unpleasant, but
> having to hand-write all the instances, as the explicit dictionary
> version would require, is probably worse.
>> You may also make Functor a superclass of ShowF.
> I'm not sure about that -- one might want to make Set an instance.


> Assuming we have Eq1, Ord1, Show1 and Read1, what would be a good name
> for the module defining them?

Data.Functor.Class ?

Ok, Set is not a Functor. :-(

More information about the Libraries mailing list