f x
is a function. It is the function (
y
|->
(
x
+1)::
y
).