---------- Multi-token parsers with expansion

-- Parse many tokens using 'token'.
tokens :: HandleTeXIO m => LexerT m [Token]
tokens = concat <$> many token
tokens :: HandleTeXIO m => LexerT m [Token]
tokens = concat <$> many token
tokens = concat <$> many token