> I'm afraid the combination of type classes with modules and functors
> is not trivial either.

Actually, in "Modular Type Classes", Derek Dreyer et al. argue fairly
convincingly that they can be combined in a natural way.

Of course, there's still the question of whether it all works out when
you add objects, polymorphic variants, ...


        Stefan