stream-append
Exercise 3.66 - pairs of integers s <= t as an infinite stream
Exercise 3.67 - mixing in integers i > j
Exercise 3.68 - Louis Reasoner's infinite recursion