(Endo-)Funktoren in Haskell

zur Erinnerung:

• Objekte: Haskell-Typen
• Morphismen: Haskell-Funktionen

Endo-Funktor F:

• F_Obj: bildet Typ auf Typ ab,

  d. h: ist Typkonstruktor (Beispiel: List-of, Tree-of)

• F_Mor: bildet Funktion auf Funktion ab (vom passenden Typ)

f :: A -> B;  map f :: [A] -> [B]
map :: (A -> B) -> ([A] -> [B])