En teoremas gratis! , Wadler dice que la caracterización de la parametricidad se puede volver a expresar en términos de transformaciones naturales laxas y este será el tema de otro artículo. ¿A qué papel se refiere?
El enfoque categórico de la paramtericidad que conozco utiliza transformaciones dinaturales como en el Polimorfismo Funcional de Bainbridge, Freyd, Scedrov y PJ Scott. ¿Cuál es la conexión entre la transformación natural laxa y las formulaciones de parametricidad de transformación dinatural?