On Tue, 6 Feb 2001, George Russell wrote: > I apologise if this has been raised before, but the code I am > writing now would look rather nicer if "partially applied > type constructors" were permitted in instances. They are. For example monads. -- Marcin 'Qrczak' Kowalczyk