Module Relude_ResultT
module WithMonad: (M: BsBastet.Interface.MONAD) => { ... };
Creates a ResultT Monad with the given outer Monad module.
module WithMonadAndError: (M: BsBastet.Interface.MONAD) => (E: BsBastet.Interface.TYPE) => { ... };