Continued foldLeft in "Functional data structures"