Questions for f-bounded-polymorphism