Universal Types Want It All, Existential Types Play It Cool: Covariance and Contravariance...Universal and existential quantifiers in type theory differ in covariance and contravariance, affecting type interactions in Scala generics.