Improve error messages by highlighting unmatched argument
Description
I'm currently trying to fix a couple of type errors with the following form, and it's very difficult to find which argument is not matching the type signature.
From inspection I can see that the second and third parameters seem OK, since they are have expanded to the same string, but core.typed does not tell me if the problem is with the first, fourth, or both arguments.
Environment
None
