[Haskell-beginners] Why is :t 42 ::Num a => a -> a ?