polymorphic not parametric