The function described here enables the `concatenation' of coproducts into a single one.
Given a coproduct C of structures which may themselves be coproducts, return the coproduct of the base structures, considered in depth-first order.