[Haskell-beginners] Inconsistencies in type inference

[David Virebayre]

The monomorphism restriction forces ghci to infer a default type.

Prelude> :set -XNoMonomorphismRestriction
Prelude> let mul = (*)
Prelude> :t mul
mul :: Num a => a -> a -> a