Semi-applied datatypes in instance declarations
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 extradata) = Event extradata where blah blah . . . Any chance of this? Or are there reasons why this would be wholly ridiculous? ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Semi-applied datatypes in instance declarations
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 ___ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users