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