Gesetze für Monaden

das Wort Monade ist abgeleitet von Monoid,

für jede Implementierung muß return und >=> folgende Eigenschaften erfüllen:

• Grundbereich: Funktionen des Typs a -> m b
• Verküpfung (Kleisli-Komposition)

  (>=>) :: 
     (a -> m b) -> (b -> m c) -> (a -> m c)
  (f >=> g) = \ x -> (f x >>= \ y -> g y)
  

• return ist (links- und rechts-)neutral für >=>
• >=> ist assoziativ

Beispiele? Beweise?