Type
(type argument) -> type
Returns the argument's type.
Example:
>>(type 1) :: [type integer]