是否可以指定必须由类型系列的所有实例满足的类型类约束？
例如,给定以下声明,我如何确保所有实例也是以下实例Eq:
Eq
data family Channel c :: *
非常感谢,
迈克尔
haskell types typeclass type-families
haskell ×1
type-families ×1
typeclass ×1
types ×1