Type Alias _D<T, $O>

_D: _DistributeMap<T> extends infer R
    ? ["aBcD" | "AbCd" | "abcd"] extends [R]
        ? $ResolveBranch<$O, [$Then | $Else], Exclude<T, boolean>>
        : ["aBcD" | "AbCd"] extends [R]
            ? $ResolveBranch<$O, [$Else]>
            : ["aBcd" | "Abcd"] extends [R]
                ? $ResolveBranch<$O, [$Else]>
                : $ResolveBranch<$O, [$Then], T>
    : never