Box doesn’t need a label.
Define a combinator function typealias.
Concatenation.
Alternation.