. . . "The concept of parametric polymorphism applies to both data types and functions." .