The concept of generics/parametric polymorphism has existed decades prior to that in languages like SML and proven to work rather well.