• Common Typechecking Pitfalls
• Invariant Generics
• Exceptions to invariant generics
• Contravariant Parameter Types
• Return type of this