理解(1+)

Question

1+的类型给出如下:

Prelude> :t (1+)
(1+) :: Num a => a -> a

读取此功能的正确方法是:

1+取一个Num并返回一个类型的函数a -> a？

Answer 1

1+取一个a并返回一个必须是实例a的限制.aNum