Monadic compiler calculation (functional pearl). - Bahr, Patrick; Hutton, Graham (Proc. ACM Program. Lang., 2022)