let combine_pair h1 h2 (a1,a2) = combine (h1 a1) (h2 a2)