Proposal: merge either into transformers

[Henning Thielemann]

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.

Right.


> 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. :-(