Type Alias $<T, $O>

$: $IsDistributive<
    $O,
    {
        $else: [T] extends [readonly any[]]
            ? number extends T["length"]
                ? $ResolveBranch<T, $O, [$Then]>
                : $ResolveBranch<T, $O, [$Else]>
            : $ResolveBranch<T, $O, [$Then]>;
        $then: T extends readonly any[]
            ? number extends T["length"]
                ? $ResolveBranch<T, $O, [$Then]>
                : $ResolveBranch<T, $O, [$Else]>
            : $ResolveBranch<T, $O, [$Then]>;
    },
>