haskell: (+1) - функция, (-1) - число

Именно это надо знать, чтобы не попасть в смешную ситуацию с вызовом анонимной "функции". Итак, вот что говорит prelude:

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

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