A toy Lisp implemented in Haskell with runtime macros and enforced purity.