Parametricity is a property of polymorphic programs formalized by John C. Reynolds in his 1983 paper Types,
