6 Feb
2001
6 Feb
'01
9:34 a.m.
Marcin 'Qrczak' Kowalczyk wrote:
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.
Yes you are right. I'm sorry for wasting your time - I made a mistake in constructing my test case.