scala 中的 Covariance 與 Contravariance

invariance、covariance、contravariance 這三者都是 generic types 的觀念。