let (@@) f g = fun (x,y) -> ((f x),(g y))