A Transliteration of Abstracting Definitional Interpreters to Haskell https://arxiv.org/pdf/1707.04755.pdf http://david.darais.com/assets/papers/abstracting-definitional-interpreters/adi.pdf