I think sigpfe is talking about corecursive definitions, which can produce infinite data structures: http://en.wikipedia.org/wiki/Corecursion