let
unary_of_int_add =
function
x
->
(
function
z
->
x + z)