Implication Details

Assumptions: cartesian closed, countable coproducts

Conclusions: countably distributive

Reason: Each functor A×−A \times - is left adjoint and hence preserves countable coproducts (in fact, all colimits).