Restrição de classe de tipo nas instâncias da família de tipos

É possível especificar uma restrição de classe de tipo que deve ser atendida por todas as instâncias de uma família de tipos?

Por exemplo, dada a seguinte declaração, como garantir que todas as instâncias também sejam instâncias deEq:

data family Channel c :: *

Muito Obrigado,

Michael