Use inner-monad as monad transformer arguments and rename MonadTrans' outer method to base