Implementation of a system of functional (monadic) parsers.