> Gak, I don't understand any of that. I'm implementing typeclasses > in Felix at the moment: > > (a) AFAICS there is no record to pass around: it's a whole program > analyser like MLton, the instance functions are known at compile > time and called directly (with no overhead). That is my intuition as well.