Translated into Russian article "Freer Monads, More Extensible Effects" - View it on GitHub