En la inferencia de tipos no interviene sobrecarga de operadores, que se manejan con la noción de polimorfismo ad-hoc, sino cuantificaciones universales que conducen a la noción de polimorfismo parametrizado.