@ndtimofeev Интерфейс ленивого списка изоморфен (имеет идентичную структуру) интерфейсам итераторов. // с точностью до языковых особенностей конкретного итератора; то есть если It1 бросает исключение StopIteration в-тех-же-и-только-тех ситуациях, где It2 возвращает False на .hasNext() -- то It1 и It2 не рассматриваются как разные интерфейсы.

Контракт следующий. Консьюмер итератора it :: [V] запрашивает следующий итем x :: V путем патерн-матчинга по it. В ответ на это its продюсер вычисляет факт наличия следующего итема и в положительном сценарии сам итем x :: V либо рецепт его вычисления (зависимо от ленивости V). Консьюмер получает факт наличия/отсутствия следующего итема как уже данное предположение в case-альтернативах. Значение Nil означает конец итерации. Значение Cons дает следующий итем x :: V и новое значение итератора it' :: [V].

Звучит тривиально и по-капитански, ровно потому что это изоморфизм. Интерфейс ленивого списка и интерфейс Итератор идентичны по своей структуре.