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