Implication Details

Assumptions: coproducts, distributive, exact filtered colimits

Conclusions: infinitary distributive

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