16 Dec
2012
16 Dec
'12
4:40 a.m.
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. :-(