role Iterator
Generic API for producing a sequence of values
constant IterationEnd
role Iterator { }
A Iterator is an object that can generate or provide elements of a sequence.
Users usually don't have to care about iterators, their usage is hidden behind
iteration APIs such as for @list { }, map,
grep, head, tail,
skip and list indexing with .[$idx].