_D<T, $O>: _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