Void2.scl

   1 import "JavaBuiltin" as Java\r
   2 \r
   3 class Foo a where\r
   4     foo :: a -> () -> a\r
   5     \r
   6 instance Foo Integer where\r
   7     foo x () = x\r
   8     \r
   9 idWithFoo x = foo x ()    \r
  10     \r
  11 main = idWithFoo (13 :: Integer)\r
  12 --\r
  13 13