Given

class MyClass k where
  type AssociatedType k :: *

Is there a way of requiring AssociatedType be of class Eq, say?
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to