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