# Flattening

The function described here enables the ‘concatenation’ of coproducts into a single one.

## `Flat(C): Cop -> Cop`

Given a coproduct $C$ of structures which may themselves be coproducts, return the coproduct of the base structures, considered in depth-first order.