> just parametric polymorphism

Those three words are doing a lot of work there.