Das Paar als abstrakter Datentyp

Ein Paar sind einfach zwei beliebige Elemente. Man kann dabei aber auch den Typ/die Typen festlegen (pair-of).