haskell - 通过 : Cannot derive well-kinded instance 派生

Question

当我尝试派生实例时遇到此错误。

Cannot derive well-kinded instance of form ‘HFunctor (ControlFlowCMD ...)’
    Class ‘HFunctor’ expects an argument of kind ‘(* -> *, *)
                                                  -> * -> *’
• In the newtype declaration for ‘ControlFlowCMD’

我正在尝试这样做:

newtype ControlFlowCMD fs a = ControlFlowCMD (ControlCMD fs a)
  deriving HFunctor via (ControlCMD fs a)

你可以看到我的类型所基于的数据类型和实例并试图派生 here ，在第 278 行。我不习惯使用 deriving via - 谁能解释这个错误的含义以及我将如何解决它？

Answer 1

问题是 (* -> *, *)或者，等效地，(Type -> Type, Type)是种类级元组，必须启用 DataKinds 和 PolyKinds 扩展以处理它。 (我不完全确定为什么需要 PolyKinds；也许是为了允许更一般的类型推断。)
对于具有复杂类型的数据类型，通常是 good idea启用 StandaloneKindSignatures 并明确给出种类签名:

import Data.Kind
type ControlFlowCMD :: (Type -> Type, Type) -> Type -> Type
newtype ControlFlowCMD fs a = ...