Module Relude_ReaderT
module WithMonad: (M: BsBastet.Interface.MONAD) => { ... };
Creates a ReaderT Monad with the given Monad module
module WithMonadAndEnv: (M: BsBastet.Interface.MONAD) => (E: BsBastet.Interface.TYPE) => { ... };
module Reader: { ... };