Type Alias MergeTuples<T>

MergeTuples: T[number] extends readonly []
    ? []
    : T extends readonly [
        infer FirstTuple extends readonly any[],
        ...(infer RestTuples extends readonly (readonly (...)[])[]),
    ]
        ? FirstTuple extends readonly [infer Head, ...(infer Tail)]
            ? [
                [Head, ...ExtractHeads<RestTuples>],
                ...MergeTuples<[Tail, ...ExtractTails<RestTuples>]>,
            ]
            : []
        : []