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