Implication Details
Claim: If a category has finite products and is infinitary extensive, then it is infinitary distributive.
Proof: One can adjust the proof of Prop. 4.5 in Introduction to extensive and distributive categories by Carboni-Lack-Walters (which deals with the finite case).