NonEmpty List A data structure that acts like a list but guarantees that the list always has at least one item.