Assumptions: infinitary distributive
Conclusions: coproducts, finite products
Reason: This holds by definition.