Grammatik mit Regeln SaSbS, S entspricht
s :: Parser Char () s = do { expect 'a' ; s ; expect 'b' ; s } <|> return ()
Anwendung: exec "abab" $ do s ; eof
exec "abab" $ do s ; eof