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.



Johannes Waldmann 2011-01-18