haskell - (foldr (.)) の型の導出

Question

(foldr (.)) のタイプを手動で派生させようとしています

foldr :: (a1 -> b1 -> b1) -> b1 -> [a1] -> b1
(.) ::(b2 -> c2) -> (a2 -> b2) -> a2 -> c2

それで：

a1 ~ (b2 -> c2)
b1 ~ (a2 -> b2)
b1 ~ a2

だから私はそれを得る(foldr (.)) :: (a2 -> b2) -> [(b2 -> c2)] -> (a2 -> b2)

しかし、GHCi は次のように返します。:t (foldr (.)) :: (a -> b) -> [b -> b] -> a -> b

なぜ b2 と c2 は同じですか?

ありがとう、
セバスチャン。

Answer 1

(.)asの型を見ると

(b2 -> c2) -> (a2 -> b2) -> (a2 -> c2)

それから

b1 ~ (a2 -> b2)
b1 ~ (a2 -> c2)

それで(b2 ~ c2)

次に、のタイプを見ることができ(foldr (.))ます

(a2 -> b2) -> [(b2 -> b2)] -> (a2 -> b2)

これは GHC が導出する型です。