#include "head.html"
Die (einfache) Parser-Monade
ist eine Variante der Zustandsmonade.
Jene war s -> (a, s).
Als Zustand eines Parsers nehmen wir
die noch nicht gelesene Eingaben (also vom Typ String).
Wir müssen damit rechnen, daß ein Präfix
mehrere Ableitungen (Parse-Bäume) besitzt,
wir benötigen nicht ein Ergebnis (a, s),
sondern eine Liste davon. Deswegen s -> [(a, s)].
#include "../src/Parser_Type.hs"
#include "foot.html"