Type Alias _D<T, $O>

_D: T extends Function
    ? T extends (...args: any[]) => any
        ? $ResolveBranch<T, $O, [$Else]>
        : $ResolveBranch<T, $O, [$Then]>
    : $ResolveBranch<T, $O, [$Else]>