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. For example:
class Event e where
sync :: e a - IO a
data Event extraData a = blah blah . . .
instance (context on
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