coproduct

not defined yet