Source code germane to the excellent book, Functional Programming in Java