Type Alias topLevelUnionArray<Array>

topLevelUnionArray: Array extends [infer First, ...(infer Rest)]
    ? First extends any
        ? Rest extends [any, ...any[]]
            ? [First, ...topLevelUnionArray<Rest>]
            : [First]
        : never
    : never