predicative_polymorphism