So let\'s say you have a variable n.
You want to check if its an integer, or even better yet check what type it is.
I know there is a function in haskell
If you are using an interactive Haskell prompt (like GHCi) you can type :t <expression>
and that will give you the type of an expression.
e.g.
Prelude> :t 9
gives
9 :: (Num t) => t
or e.g.
Prelude> :t (+)
gives
(+) :: (Num a) => a -> a -> a
import Data.Typeable
isInteger :: (Typeable a) => a -> Bool
isInteger n = typeOf n == typeOf 1
But you should think about your code, this is not very much like Haskell should be, and it probably is not what you want.