> Well, I have a convincing example (at least it convinces me ;-).
> There are several ways to define a type class for finite maps (aka
> dictionaries, aka lookup tables). Here is one taken from Chris Okasaki's
> book on purely functional data structures (p. 204):
I saw Mark yesterday, and have made quite a few changes
as a result. I've tried to address your points, and those
made by others, but you'll have to judge how successfully!
http://www.dcs.gla.ac.uk/~simonpj/multi-param.html
Anyway, you might want to take another look.
Simon
