f : _Int -> _Int ;
f = \x. x+1 ;