let combine (xs, ys) = let aux _ = match peek xs, peek ys with | Some x, Some y -> junk xs ; junk ys ; Some (x,y) | _ -> None in from aux