@techreport{Bauer12Parametricity, author = {Andrej Bauer and Martin Hofmann and Aleksandr Karbyshev}, title = {On {M}onadic {P}arametricity of {S}econd-{O}rder {F}unctionals}, booktitle = {IFL}, editor = {Ralf Hinze}, month = {August}, year = 2012, pages = {37-52}, volume = {RR-12-06}, publisher = {University of Oxford}, }