--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+class Foo a where\r
+ foo :: a -> () -> a\r
+ \r
+instance Foo Integer where\r
+ foo x () = x\r
+ \r
+idWithFoo x = foo x () \r
+ \r
+main = idWithFoo (13 :: Integer)\r
+--\r
+13
\ No newline at end of file