kind注釈
KindSignatures
で
kind注釈
をつけられる
ex.
data Complex (a :: * -> *) (b :: * -> *) (c :: *) = Complex (a (Maybe (b c)))
ref