Type Alias Zip2<One, Two>

Zip2: One extends [infer OneFirst, infer OneSecond]
    ? Two extends [infer TwoFirst, infer TwoSecond]
        ? [[OneFirst, TwoFirst], [OneSecond, TwoSecond]]
        : []
    : []

zip组合两个元素的元组如果元组不满足含有两个元素，那么返回{】}