Peels away elements from the end until there are no elements left.
Peels away elements from the end until there are no elements left.
Example:
NonEmptyVector(2,4,6,8) will yield
NonEmptyVector(2,4,6,8) NonEmptyVector(2,4,6) NonEmptyVector(2,4) NonEmptyVector(2)