Parser als Monade

nichtdeterministischer Parser über Eingabestrom von Zeichen (Token) c und mit Resultattyp c:

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

• Instanz für Functor, Monad
• Beispiel-Parser, Aufrufe davon