Parametric polymorphism (lecture 12)