> var create_adder = ( x : integer ) -> ( f :
> ( : integer ) -> ( :integer ) ) {
>     return (y :integer) -> ( :integer ) {
>         return x + y
>     }
> }

Сравним с

let adder x = fun y -> x + y;;

Или

let adder x = (+) x;;