Each trade is apparently beneficial, to irrational actors, with potentially large power/exploitability differences (eg lottery tickets are "beneficial"), and values that differ from what you might care about (eg Pedophile rings have some "beneficial" trades involved).

That, said, it's probably actually beneficial overall. Just that the simple proof doesn't get you there.