Refactoring to a Monad Transformer Stack