Type alias HeadT<Value>

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