Type Alias Tail<T>

Tail<T>: T["length"] extends 0
    ? never
    : T extends readonly [any, ...(infer Tail)]
        ? Tail extends UnionOfValues<T>[]
            ? Tail
            : never
        : T

Gets the types of a tuple except the first entry.