fn zip_with2<T, U, V, F>(a: [T; 2], b: [U; 2], f: F) -> [V; 2]where T: Copy, U: Copy, F: Fn(T, U) -> V,