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