Rechenregeln für Monaden

Kleisli-Kategorie ist wirklich eine Kategorie

• id_a ist neutral bzgl. Komposition
• Komposition ist assoziativ

(Regeln hinschreiben)

Typkonstruktor ist Funktor auf zugrundeliegender Kategorie

instance Monad m => Functor m where
    fmap f xs = xs >>= ( return . f )

(Beweisen, daß das richtigen Typ und richtige Eigenschaften hat)