Type Alias TailTypesOrUndefined<T, U>

TailTypesOrUndefined: T extends []
? U
: T extends [unknown] ? U : Tail<T>[number]

Returns the union of types in an array, but the first one, uses U as a fallback if the array is empty.