Zip<A>: A["length"] extends 0 ? [] : IsRectangular<A> extends true ? A[0] extends infer Head extends RoArray ? [...{ [K in keyof Head]: K extends `${number}` ? [...{ [K2 in keyof A]: K extends keyof A[K2] ? A[K2][K] : never }] : never }] : [] : never