Relude_OptionT
module WithMonad: (M: BsBastet.Interface.MONAD) => { ... };
Creates an OptionT monad with the given outer Monad