Una definición de la función longitud de lista en Haskell se puede definir de la siguiente forma:
-- Función longitud
-- [] denota una lista vacía
-- (prim:resto) denota una lista formada por un elemento, prim, concatenado o construido con el resto
-- : operador constructor de listas.
function longitud
longitud [] = 0
longitud (prim:resto) = 1 + longitud resto
Al leer esta definición se observa que su argumento es una lista, que los valores de los elementos de la lista no influyen en el resultado y que este resultado siempre es un número (cero o el resultado de una suma). De estas observaciones, el compilador puede deducir el tipo de la función, que es:
longitud :: [a] -> Int
Este tipo resultante se lee como sigue: al recibir una lista con elementos de cualquier tipo, siendo todos los elementos de la misma del mismo tipo, (representado por a en la sintaxis de Haskell), la función producirá un entero (tipo Int de Haskell).
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.
