let
double f =
fun
(a,b)
->
(f a, f b)