generic typing has character that is the character of the type.