Clarify MonadTrans docstrings