Some monad stack simplifications