Types

A Pos is a position in between two elements in a list. For example, position 0 marks the beginning of the list, and position length list marks the end of the list. There are n + 1 valid positions for a list of length n.