1 import "JavaBuiltin" as Java
8 class (Foo a) => Bar a where
11 instance Foo Integer where
14 instance Bar Integer where
19 instance (Foo a) => Foo (X a) where
22 instance (Bar a) => Bar (X a) where
25 main = foo (X (1 :: Integer))
26 // + bar (X (2 :: Integer))