Type Alias FirstT<Value>

FirstT: Value extends string
    ? Value extends `${infer First}${infer Rest}`
        ? First
        : string
        | undefined
    : Value extends [infer First]
        ? First
        : Value extends [infer First, ...(infer Rest)]
            ? First
            : Value extends (infer First)[] ? First : undefined