Re: [Haskell-cafe] Restrictions on associated types for classes

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