Parametricity actually cuts the number of possible functions at a given type much more effectively than any small number of examples: http://cstheory.stackexcha

Parametricity actually cuts the number of possible functions at a given type much more effectively than any small number of examples: http://cstheory.stackexchange.com/questions/19548/how-can-relational-parametricity-be-motivated http://cstheory.stackexchange.com/questions/19548/how-can-re...