For convenient use, remove HasTy constraints from entry points toCCC and toCCC'.