Type Alias _N<T, $O>

_N<T, $O>: [T] extends [string & infer U]
    ? U extends string
        ? $ResolveBranch<T, $O, [$Then]>
        : $ResolveBranch<T, $O, [$Else]>
    : $ResolveBranch<T, $O, [$Then]>