Datentyp für Parser

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

• über Eingabestrom von Zeichen (Token) c,
• mit Resultattyp a,
• nichtdeterministisch (List).

Beispiel-Parser, Aufrufen mit:

parse :: Parser c a -> [c] -> [(a,[c])]
parse (Parser f) w = f w