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