Implication Details

Assumptions: cartesian filtered colimits, coproducts, distributive

Conclusions: infinitary distributive

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