Restricción de clase de tipo en instancias de familias de tipos

¿Es posible especificar una restricción de clase de tipo que deben cumplir todas las instancias de una familia de tipos?

Por ejemplo, dada la siguiente declaración, ¿cómo me aseguraría de que todas las instancias también sean instancias deEq:

data family Channel c :: *

Muchas gracias,

Miguel