CmdLangSem-Copat: `with` instead of auxiliary functions.
CmdLang-PartMonad & CmdLangSem-Copat: divergence.