[Haskell-cafe] Restrictions on associated types for classes

17 Dec 2009

      Given

class MyClass k where
  type AssociatedType k :: *

Is there a way of requiring AssociatedType be of class Eq, say?

Stephen Lavelle