Annotated Scala version of Oleg's Typed Tagless Final Interpreters: Lecture Notes - View it on GitHub