parametric_polymorphic_function