• Only for class and interface names
• Variance rules are respected, but they are complicated