A few instances needed by ParserT