(in haskell)

Determine the types of "3", "even", and "even 3". How do you determine the last one? Now, determine the types of "head", "[1,2,3]", and "head [1,2,3]". What happens when applying a polymorphic function to an actual parameter? (hint, use the :t top level command of the Hugs interpreter).