Theorems for free (II)

eine Haskell-Funktion „weiß nichts`` über Argumente von polymorphem Typ.

Jedes solche Argument kann vor oder nach Funktionsanwendung transformiert werden.

Dazu ggf. die richtige Funktor-Instanz benötigt.

• freies Theorem für f :: a -> a
• freies Theorem für foldr
• freies Theorem für sort :: Ord a => [a] -> [a]

  erhält man nach Übersetzung in uneingeschränkt polymorphe Funktion (mit zusätzlichem Wörterbuch-Argument)