Haskell中奇怪的类型推断

Question

当向GHCi询问表达式2 . (+1)的类型时，我被告知一种对我来说没有多大意义的类型表达式：

Prelude λ : :type 2 . (+1) 
2 . (+1) :: (Num b, Num (b -> c)) => b -> c

函数b->c如何属于Num类？