Working with theoretically infinite tree structures and lazy evaluation.