3.4.11. Avoiding Nested Monad Transformers

TODO