The Pros and Cons of Deforestation

The original deforestation was a transformation over essentially, you know, core intermediate code. And that was the approach that I was following on from Phil's original work on first order deforestation to extend it to higher order deforestation. So this turned out to be in practice much easier to implement. It had a different set of challenges, namely, once you've written things in terms of fold our and build off and you want to rewrite them back again if you don't end up doing the transformation. If you can solve those challenges, generally this is a simpler approach because you don't have to unfold everything and do lots of transformations.