17 Dec
2009
17 Dec
'09
6:04 p.m.
Ah yes, this is very very very helpful. Thanks : )
Miguel's example is not quite as idiomatic, but...for some reason I
find it beguiling nonetheless.
On Thu, Dec 17, 2009 at 2:36 PM, Roman Leshchinskiy
On 18/12/2009, at 00:37, Stephen Lavelle wrote:
Given
class MyClass k where type AssociatedType k :: *
Is there a way of requiring AssociatedType be of class Eq, say?
This works with -XFlexibleContexts:
class Eq (AssociatedType k) => MyClass k where type AssociatedType k :: *
Roman