MonadTrans class?

Stream: new members

[Calvin Lee]

Hello! I was curious if there was anything similar to MonadPlus, MonadTrans, etc such as in Haskell

[Anne Baanen]

MonadPlus m => _ in Haskell would translate to [monad m] [alternative m] : _ in Lean I believe. There are a few definitions of monad transformers such as docs#state_t, docs#writer_t, docs#cont_t, ... but no "monad transformer" typeclass that I'm aware of.