Typ-Synonyme gestatten die Definition von Abkürzungen für beliebige Ausdrücke:
type Name a1 ... an = expansion
type String = [Char]