Covariance & Contravariance
Variance je obecný pojem, který říká, jakým způsobem funguje
subtyping u komplexních typů a může být trojího druhu: Invariance, Kovariance
a Kontravariance. Jak to funguje pro pole a kolekce v Javě a ve Scale?