Write this.
Adding a function to replace a closed range of elements with a single element will allow a partial order to be implemented in terms of this implementation.