の種類はf何ですか？
class C f where
comp :: f b c -> f a b -> f a c
私は書いた：(* -> *) -> * -> *
これは正しいですか？cは具象型*です。a型を取り、型を生成する型です。そして、これらは両方ともf?のパラメータです。私の主張は正しいですか？
の種類は何Tですか？
data T f g = T (f String Int) (g Bool)
fには、パラメーターとして 2 つの具象型 (StringおよびInt) があります。 gには 1 つのパラメーターがあります ( Bool) これらは両方とも のパラメーターですT。だから私は持っています：(*->*->*)->(*->*)->*。これは正しいです？ありがとうございました