sequence в котлине вполне может быть как подпорка, из-за наследия джавы. В clojure вроде все sequence и необходимости в итераторах нет. Если прилетает iterator из либы, он тоже становится sequence. List — имплементация sequence, которая не lazy. Вроде все стройно. В котлине просто дизайн коллекций задним числом фиксится.