data TMyNum n = MyNum n deriving (Show)


numConst::(Num n) => Integer->TMyNum n
numConst a = MyNum a

Could not deduce (n ~ Integer)
    from the context (Num n)
      bound by the type signature for
                 numConst :: Num n => Integer -> TMyNum n