Generalization.scl

   1 import "JavaBuiltin" as Java
   2
   3 (+) = Java.iadd
   4
   5 data Foo = Foo Integer
   6
   7 escapeFoo (Foo x) = x
   8
   9 id x = x
  10
  11 main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))
  12 --
  13 7