Relude_RWST
module RWSResult: { ... };
module WithMonad: (M: BsBastet.Interface.MONAD) => { ... };
Creates a RWST (Reader/Writer/State) Monad with the given Monad module.