+++ /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