Semi-applied datatypes in instance declarations

Marcin 'Qrczak' Kowalczyk [email protected]
Tue, 6 Feb 2001 15:29:31 +0100 (CET)


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