Devriese, D., Patrignani, M., & Piessens, F. (2018). Parametricity Versus the Universal Type. Proceedings of the ACM on Programming Languages, 2(POPL): 38, pp. 1-23. doi:10.1145/3158126.