Monaden zur Programmstrukturierung

class Monad m where { return :: a -> m a ;
    (>>=)  :: m a -> (a -> m b) -> m b }

Anwendungen:

• semantische Bereiche f. Interpreter,
• Parser,
• Unifikation

Testfragen (für jede Monad-Instanz):

• Typ (z. B. Action)
• anwendungsspezifische Elemente (z. B. new, put)
• Implementierung der Schnittstelle (return, bind)