f : Int -> Int ;
f x = let g = (\y. y+1) in g (g x)
