Li-Fan Chen says to YSITD
我剛剛才知道泛型中的 covariance 跟 contravariance 是啥