typo: `a type that is shown in the error message`