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