Las primeras son aquellas funciones que pueden evaluarse o ser aplicadas a diferentes tipos de datos de forma indistinta; los "tipos polimórficos", por su parte, son aquellos tipos de datos que contienen al menos un elemento cuyo tipo no está especificado.