import "JavaBuiltin" as Java

(+) = Java.iadd

data Foo = Foo Integer

escapeFoo (Foo x) = x

id x = x

main = id (3 :: Integer) + escapeFoo (id (Foo (4 :: Integer)))
--
7