import Data.Typeable
main = do
   let x = 42
   putStr(tyConString(typeRepTyCon(typeOf(x))))