Implication Details

Assumptions: cartesian filtered colimits, countable coproducts, distributive

Conclusions: countably distributive

Reason: Each functor A×−A \times - preserves finite coproducts and filtered colimits, hence all countable coproducts.