f-bounded-polymorphism