Bounded quantification
subtype bound on the range of quantification in parametric polymorphism