Thanks for mentioning this. Both stories are lovely, some of the most enjoyable and intellectually satisfying writing I've read this month.
On that note, I keep dreaming that one day, someone will make a Lisp with all the code generation goodies and Haskell-grade type system. That would be my dream language to code in.
(As it is right now, I mostly do C++17 in overtly-type-safe style at work, and typed Common Lisp on the side...)
