An implementation of "Freer Monads, More Extensible Effects". - View it on GitHub