Freer Monads, More Extensible Effects [pdf]