Freer Monads, More Extensible Effects (2015) [pdf] | Not Hacker News!