F-bounded polymorphism