Section headings.
Coalescing alternation.
Reductions are generic in two types.
Use the Combinator typealias.
Ignore combinator.