Type Constructor Polymorphism Scala has let you abstract over types that take type parameters, such as List, since type constructor polymorphism was introduced in version 2.6. However, type constructor inference wasn’t officially supported until 2.8. Even though our current approach to type constructor inference is fairly limited, it keeps the type constructors that are used in the collection libr