Verifikation -- Beispiele

• append :: List a -> List a -> List a

  ist assoziativ

• für reverse :: List a -> List a gilt:

  reverse (reverse xs) == xs

• Addition von Peano-Zahlen ist kommutativ