Parser als Monaden

data Parser t a = 
     Parser ( [t] -> [(a,[t])] )

• Tokentyp t, Resultattyp a
• Zustand ist Liste der noch nicht verbrauchten Token
• Zustandsübergänge sind nichtdeterministisch
• Kombination von Listen- und Zustandsmonade
• Anwendung: Parser-Kombinatoren