Scala之类型参数化：Type Parameterization