Type Alias HeadT<Value>

HeadT: Value extends string
    ? string
    : Value extends [infer Last]
        ? []
        : Value extends [...(infer Head), infer Last]
            ? Head
            : Value extends (infer First)[] ? First : []