Type Alias _N<T, $O>

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