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: { ... };