class Foo a where
    foo :: a -> Integer
    
instance Foo Integer where
    foo x = x
    
main = foo (13 :: Integer)
--
13