haskell - 为 (' :) 派生一个 Typeable 实例

Question

我正在尝试为 (':) 派生一个 Typeable 实例

我正在使用 DataKinds 和 [*]。

我启用了 TypeOperators、StandaloneDeriving 和 PolyKinds

我无法派生可键入的实例

我试过了

deriving instance Typeable (':)

和

deriving instance Typeable ':

和

deriving instance Typeable ((':))

但它们都会出现解析错误。

我知道如果我写了

data List a = Cons a (List a) | Empty

deriving instance Typeable (Cons)

我得到了预期的结果，但我不希望重写现有代码以使用自定义列表类型。

Answer 1

这似乎有效

 deriving instance Typeable '(:)

大概 ' 旨在标记“整体类型构造函数”，包括它是否被分段？对我来说似乎有点奇怪。但是，这与元组一致，您将在其中编写

'(a, b)