generated at
2/18/2025, 6:51:46 PM
kind注釈
KindSignatures
で
kind注釈
をつけられる
ex.
data Complex (a :: * -> *) (b :: * -> *) (c :: *) = Complex (a (Maybe (b c)))
ref