A list implementation that is completely lazy in nature. The main thing this buys one is the ability to easily work with infinite lists.
It is also good at computing no more then is actually used. Though this does create more objects, thus it is a trade off in memory.