stubs for guiding the impl of MonadTrans