Freer Monads, More Extensible Effects [pdf] | Hacker News Reader