genauso, wie Funktionen Daten auf Daten abbilden, gibt es Typkonstruktoren, die Typen auf Typen abbilden.
Bsp: Liste-von bildet Int auf Liste-von-Int ab, und Char auf Liste-von-Char (= String).