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