GenTokenParser is:exact

The type of the record that holds lexical parsers that work on s streams with state u over a monad m.