Parametricity is the semantic theory of parametrically polymorphic functions, i.e., functions parameterized by type parameters.
Parametricity is the semantic theory of parametrically polymorphic functions, i.e., functions parameterized by type parameters.