Zusammengesetzte Typen

Typ = Menge, Zusammensetzung = Mengenoperation:

• Produkt (record, struct)
• Summe (union, case class)
• Rekursion
• Potenz (Funktion)