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