Examples of the proposal in #9.