A system of functional parsers (combinators, transformers, generators.)