Hierarchical Free Monads: Mostly Pointless (2020) | Hacker News Reader