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 派生的类型。