Für Instanzen der Typklasse Functor muß gelten:
fmap id == id fmap (f . g) = fmap p . fmap g
Aufgaben: finde falsche Funktor-Instanzen
List, Maybe, Tree