Интересное.

[thesz]

Data, co-data, структурная и защищенная рекурсия.

Как работать с ленивыми бесконечными списками, не переполняясь.

via Google alerts.

(с объяснением от третьей, почему я правильно выбрал тип data S a = S a (S a) вместо обычных списков;)