Rekursionsmuster (Merksätze)

aus dem Prinzip ein Rekursionsmuster anwenden = jeden Konstruktor durch eine passende Funktion ersetzen folgt:

• Anzahl der Muster-Argumente = Anzahl der Konstruktoren (plus eins für das Datenargument)
• Stelligkeit eines Muster-Argumentes = Stelligkeit des entsprechenden Konstruktors
• Rekursion im Typ ⇒ Rekursion im Muster

  (Bsp: zweites Argument von Cons)

• zu jedem rekursiven Datentyp gibt es genau ein passendes Rekursionsmuster