Re: Query on multi-param type classes

[Jon Mountjoy]

Hi

Simon says:
 > Can you give a compact summary of why you want
 > to?  Our multi-parameter type-class paper gives none, and if
 > you've got one I'd like to add it.

Essentially, many of the examples in the paper by Liang, Hudak and
Jones: "Monad Transformers and Modular Interpreters" will fail.  The
examples, and motivation behind them are all there.

Regards,
Jon