CmdLang-PartMonad & CmdLangSem-Copat