ghci で次の結果を得ましたが、理由が分かりません。

:t map . (*)
> map . (*) :: (Num a) => a -> [a] -> [a]
let f = map . (*)
> f :: Integer -> [Integer] -> [Integer]

束縛させないものも束縛させたものも、ともに型は明示していないのに、
一方はポリモーフィックでもう一方に Integer 型に決まってしまうのは何故でしょうか。