Freer Monads, More Extensible Effects [pdf]
okmij.org