[Xichekolas]

In looking at that, I was surprised to see that the foldr/build deforestation technique is still in use. That was part of my advisor's PhD work from the mid 90s.