[Haskell-cafe] Restrictions on associated types for classes

[Stephen Lavelle]

Given

class MyClass k where
  type AssociatedType k :: *

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