Re: [Haskell-beginners] Inconsistencies in type inference

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