haskell - (.) map const 的类型

Question

我正在尝试确定 (.) map const 的类型.
(.) map的类型给我(a1 -> a2 -> b) -> a1 -> [a2] -> [b]const的类型是 a -> b -> a
所以当我试图做 (.) map const ，不应该 (a1 -> a2 -> b)的 (.) map与 (a -> b -> a) 统一来自 const ?

因此，a1与 a 合并, a2与 b 合并, b与 a 合并.
我剩下 a1 -> [a2] -> b随着统一，它应该给我留下a -> [b] -> [a]
但是，正确答案是 b -> [a] -> [b]
有人可以解释如何以及为什么？

Answer 1

a -> [b] -> [a]和 b -> [a] -> [b]是相同的类型(例如 foo -> [bar] -> [foo] 也是如此)。类型变量的名称没有任何意义，因此只要相同的变量位于相同的位置，它们的标签就无关紧要。