Можно ли указать ограничение класса типов, которое должно выполняться всеми экземплярами семейства типов?

Например, учитывая следующее объявление, как я могу убедиться, что все экземпляры также являются экземплярамиEq:

data family Channel c :: *

Большое спасибо,

Майкл