import "JavaBuiltin" as Java

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