no non-typevariable in instance declarations

Malcolm Wallace
Wed, 15 Nov 2000 10:21:28 +0000

> (By the way, is there any plans to implement multiparameter type
> classes and instance overlapping in NHC98?)

No-one at York has any current plans to implement MPTC or instance
overlapping in nhc98.  However, other people would be most welcome
to do so if they wished.