let curry = function f -> (function x -> (function y -> f (x, y)))