Enhance application monad transformer stack