Calculating Compilers Effectively (Functional Pearl). - Zac Garby; Graham Hutton; Patrick Bahr (Haskell, 2024)