import Data.Typeable

getStaticType :: Typeable a => a -> String
getStaticType = show . typeOf

main = do
   x = 421
   putStr(getStaticType(x))