当我问+运算符的类型时,它就像你期望的那样
Prelude> :t (+)
(+) :: Num a => a -> a -> a
当我将操作符分配给变量时,类型签名会发生变化
Prelude> let x = (+)
Prelude> :t x
x :: Integer -> Integer -> Integer
为什么操作员的类型在分配时会发生变化？