3.4.12. Avoiding Nested Monad Transformers

TODO