Same applies for his sort example. Someone has to write sort. Except that now also includes sorting. In a language with lazy stream abstraction, the max() func

Same applies for his sort example. Someone has to write sort. Except that now also includes sorting. In a language with lazy stream abstraction, the max() function can be pretty efficient.