Type of a parsing function which takes the list of all tokens and the current working position.
Run a parser using result of the previous one
Run T1 parser, if successful, go back and run the T2 parser from original position using the result of T1 for a kind of look ahead effect.