Make a confusing type-mismatch error message more verbose.