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 codice_1 en la sintaxis de Haskell), la función producirá un entero (tipo codice_2 de Haskell)".