Lower level runMaybeC
catchC/handleC/tryC