为什么eta转换函数有不同的类型？

Question

当我在GHCi中通过'：l'命令加载下面的haskell代码文件时。

add1 x y = x + y
add2 = \x -> \y -> x + y

add1和add2的类型如下所示。

add1 :: Num a => a -> a -> a
add2 :: Integer -> Integer -> Integer

为什么他们有不同的类型???

更新

当我在GHCi中输入以下代码时，它们具有相同的类型'Num a =＆gt; a - ＆gt; a - ＆gt;一个”。

let add1 x y = x + y
let add2 = \x -> \y -> x + y