// Textbook fragment 06.12
public interface PositionList<E> extends Iterable<E> {