3.4.13. Unroll Monad Transformer Stacks

TODO