Em Teoremas de graça! , Wadler diz que a caracterização da parametricidade pode ser re-expressa em termos de transformações naturais frouxas e isso será objeto de outro artigo. A que papel ele está se referindo?
A abordagem categórica da parametericidade que conheço utiliza transformações dinaturais, como no polimorfismo funcional de Bainbridge, Freyd, Scedrov e PJ Scott. Qual é a conexão entre as formulações de parametridade de transformação natural frouxa e transformação dinatural?