Module Relude_ContT
module WithMonad: (M: BsBastet.Interface.MONAD) => { ... };
Creates a ContT (continuation) Monad module with the given Monad module.
module WithMonadAndResult: (M: BsBastet.Interface.MONAD) => (R: BsBastet.Interface.TYPE) => { ... };
module Cont: { ... };