explain that a 'coproduct' counts as a 'product'