Type Alias _SD<T, $O>

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