function csv_quote(r) {return [ P.char('"'), P.assign(r, P.many(P.noneOf('\"'))), P.char('"'), P.yield(trim(join(r))) ]}
Other options:
Re: Да не дай бог
Вообще-то, вполне можно было сделать что-нибудь вроде
Тоже не сахар, но как-то симпатичнее. Надо будет на досуге что-нибудь в таком духе соорудить.