Type Alias _D<T, $O>

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