Fixed the monad trans stack