[Haskell-beginners] typeOf raises Error

[Brent Yorgey]

As Brandon explained, since 1 is polymorphic, and print is polymorphic
in its argument, the compiler doesn't know which type to choose.  You
could fix it, for example, like this:

> ------------
> import Data.Typeable
> 
> main=
>  print (typeOf (1 :: Integer))
> ------------

You might protest, what is the point of using typeOf if you have to
actually put in the type annotation anyway?  Well, this is a rather
contrived example; usually in a real program GHC would be able to
infer the type and an annotation would be unnecessary.

-Brent