Freer Monads, More Extensible Effects

Freer Monads, More Extensible Effects