That matches what I managed to glean, though I didn't get much further. It started making more sense though when I managed to fully understand the AST comparis

That matches what I managed to glean, though I didn't get much further. It started making more sense though when I managed to fully understand the AST comparison that was being made. Specifically, this approach lets you do the LISPy "code is data" thing where you can construct your program within your program and then run it, but instead does it via "data is execution+control-flow". Thus gaining the benefits of static analysis on the constructed program since you wrote it all out in the "normal"/static order rather than the "nested"/dynamic view of a program that monads give. At least that's the gist I got, though take it with a grain of salt, the article went very over my head at times.