Kombinator-Parser und Grammatiken

Grammatik mit Regeln S→aSbS, S→ε entspricht

s :: Parser Char ()
s =   do { expect 'a' ; s ; expect 'b' ; s } 
  <|> return ()

Anwendung: exec "abab" $ do s ; eof