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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe