¿Qué es?
Se trata de un nombre para un conjunto de posibles valores que pueden ser usados como input o outputs de una Función. Es más, son los types lo que definen la “Firma” de una Función
El conjunto de cosas no tienen que ser solo valores primitivos, conceptualmente pueden ser cualquier cosa real o virtual. Dado que las funciones son cosas, un type puede nombrar a un conjunto de funciones.