Generalised promotion combinators.  I'm quite surprised this didn't create any ambiguity.