> you want to lift this restriction:
>
> > The type of each class operation
> > must mention all of the class type variables.
>
> how would you resolve ambiguities?
> probably by requiring an explicit type signature
> at the point of usage.
No longer ;-). I find SPJ's summary on
http://www.dcs.gla.ac.uk/~simonpj/multi-param.html
convincing. The point is that you simply _cannot_ resolve the ambiguity
at the point of usage. Furthermore, an alternative is at hand (for the
motivating example I gave).
Ralf
