Bounded parametric polymorphism