itarticle generic variance in scala: 泛型变化 in scala LSP (Liskov substitution principle) subtype,(co-,contra-,in)Variance Function[-P,+R] 0