"The type of the value that indicates that an [[Iterator]] 
 is exhausted and has no more values to return."
see (`interface Iterator`)
shared abstract class Finished() of finished {}

"A value that indicates that an [[Iterator]] is exhausted 
 and has no more values to return."
see (`interface Iterator`)
shared object finished extends Finished() {
    shared actual String string => "finished";
}