Andreas Sinz
Sequence.plus(Iterable)
Note that the source sequence and the collection being added are iterated only when an iterator is requested from the resulting sequence.