Beispiele für Monaden

• Aktionen mit Speicheränderung (vorige Woche)

  Action (Store -> (Store, a))

• Aktionen mit Welt-Änderung: IO a
• Transaktionen (Software Transactional Memory) STM a
• Aktionen, die möglicherweise fehlschlagen:

  data Maybe a = Nothing | Just a

• Nichtdeterminismus (eine Liste von Resultaten): [a]
• Parser-Monade (nächste Woche)