On Sun, 9 Dec 2012, Ross Paterson wrote: > A more economical variation on this idea would be to lift these classes > to functors, e.g. > > class ShowF f where > showsPrecF :: Show a => Int -> f a -> ShowS Yes, that's much better.