Is "in the first argument of..." etc in type error messages useful?

In case any readers don’t know (it is not well documented):

8 Likes