Tokenising is actually a strength of PC, it fits the parser structure exactly!
reply pToken :: Parser<Bytestring, Token>
pExpr :: Parser<List<Token>, Expr> pToken :: Parser<Bytestring, Token>
pExpr :: Parser<List<Token>, Expr>