But none of the examples I cite need 'high performance' (well CRDTs do) an expressive language for sets would remove accidental complexity and make more complex things simpler and less buggy