Freer Monads, More Extensible Effects (2015) [pdf] · HackerTrans