module Main where

class C a where
    ty :: a -> String

instance (Num a) => C a where
    ty _ = "NUM"

instance C Integer where
    ty _ = "Integer"

main = print [ty (234::Int), ty (234::Integer), ty (234::Double)]