Haskell Compilation Type Without Header

Question

So, I am really new to Haskell, but I played with a free note and came across this problem. I am in the console:

> let c = (.)negate > :tc > (a -> Integer) -> a -> Integer -> a 

but negate accepts Number, so why is it limited to type Integer?

Answer 1

This is another example of extended default rules in GHCi. Do :set -XNoMonomorphismRestriction or just do

 > :set +m -- multiline input in GHCi > let c :: (Num a) => (b -> a) -> b -> a -> b | c = (.) negate | > :tc Num a => (b -> a) -> b -> a -> b