#include "head.html"

Falsche Funktoren

Übungsaufgabe war, Instanzen hinzuschreiben, die zwar typkorrekt sind, aber die Funktor-Axiome nicht erfüllen.

Eine Schwierigkeit besteht darin, daß wir mit den Elementen des Typs (der Liste) eigentlich gar nichts machen können - die Funktion fmap muß ja polymorph sein. Hier gelten beide Axiome nicht:

instance Functor [] where
    fmap f xs = [ f x | x <- reverse xs ]
Verschärfte Aufgaben: #include "foot.html"