Improve Trans monad.