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