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