Type Alias $<T, $O>

$<T, $O>: $IsDistributive<$O, {
    $else: _N<T, $O>;
    $then: _D<T, $O>;
}>

Type Parameters