Gesetze für Monaden

das Wort Monade ist abgeleitet von Monoid,

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

Beispiele? Beweise?

Johannes Waldmann 2013-01-31