[MonadIsPronad]

This was a great read, and very impressive. I hope to one day be as comfortable with these kind of tools to just be able to say "oh let's have a quick look with the decompiler in a VM". The author just exudes competence.