Type Alias ResolveVariadic<List>

ResolveVariadic: List extends [Variadic, ...(infer Tail)]
    ? [...Tail[0][]]
    : List extends [infer Head, ...(infer Tail)]
        ? [Head, ...ResolveVariadic<Tail>]
        : []