TypeScript Union and Intersection types

TypeLevel.ts

type UnionToIntersection<U> = (U extends any ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never

type IntersectionToUnion<I> = (I extends any ? (x: I) => any : never) extends ((x: infer U) => any) ? U : never;

/**
 * Zip two tuples together into a tuple of tuples
 * @example
 * ZipTuple<['name', 'age', 'isActive'], [string, number, boolean]>
 *     => [["name", string], ["age", number], ["isActive", boolean]]
 */
export type ZipTuple<T extends readonly any[], U extends readonly any[]> = {
    [K in keyof T]: [T[K], K extends keyof U ? U[K] : never]
}