Right. When you infer signatures, a change in one place can cause an error somewhere else, and so the error message is very misleading.