Gesetze für Monaden (I)

Monade m $\Rightarrow$ Kleisli-Kategorie von m:

• Objekte: Typen
• Pfeile: von a nach m  b

Komposition der Pfeile ist so definiert:

comp :: Monad m 
   => (a -> m b) -> (b -> m c) -> (a -> m c)
comp f g = \ x -> do y <- f x ; g y

Eine Monade muß erfüllen:

• return ist neutral für comp
• comp ist assoziativ