Haskell and compilers at the same time! Following Appel’s awesome Modern Compiler Implementation in ML: https://github.com/tdp2110/HaskellTiger