Implication Details
Claim: If a category has cartesian filtered colimits and has countable coproducts and is distributive, then it is countably distributive.
Proof: Each functor preserves finite coproducts and filtered colimits, hence all countable coproducts.