New answers tagged

1 vote

Rigorous proof that parametric polymorphism implies naturality using parametricity?

Wadler's paper does not talk explicitly about what to do with arbitrary type constructors. Neither Wadler nor Reynolds explain how to define the relations you denote by $f_F$ and $f_G$. Wadler also ...
  • 163

Top 50 recent answers are included