Fluent Python: Clear, Concise, and Effective Programming

by Luciano Ramalho

If a formal type parameter defines a type for data that goes into the object after its initial construction, it can be contravariant.