Polymorphe Funktionen

Beispiele:

• Spiegeln einer Liste:

  reverse :: forall e . List e -> List e
  

• Verketten von Listen mit gleichem Elementtyp:

  append :: forall e .     List e -> List e 
                        -> List e
  

  Knotenreihenfolge eines Binärbaumes:

  preorder :: forall e . Bin e -> List e
  

Def: der Typ einer polymorphen Funktion enthält all-quantifizierte Typvariablen

Datenkonstruktoren polymorpher Typen sind polymorph.