To check the type of an expression or function, use the command `:t'
Prelude> :t x x :: Integer Prelude> :t "Hello" "Hello" :: [Char]