"type-correctness. If an argument is a character with which something" . . . .