The Free Monad and Its Cost | Hacker News Reader