"Your example is a type" . . . .