3.4.12. Unroll Monad Transformer Stacks

TODO