Many authors use pure polymorphism to mean functions that have polymorphic arguments.
Most methods in a framework will use pure polymorphism.