67. 简易 Zip 压缩

实现一个通用的工具类型 Zip<T, U> ，其中 T 和 U 必须是元组。

返回一个新的元组，该元组的第一个元素包含所有给定元组的第一个元素，第二个元素包含所有给定数组的第二个元素，以此类推。

例如：

type exp = Zip<[1, 2], [true, false]> // expected to be [[1, true], [2, false]]