Append a stream A to a stream B doesn't imply evaluation of all items of the first Stream A. Mar 28, 2013 • david crosson The proof through an example :