Write You a Haskell: Building a modern functional compiler from first principles (dev.stephendiehl.com)