Introduced coproduct-variant of 'Cartesian'.