"The problem is that the user's data itself needs to be conflict-free" The user's data needs to support being modeled by a series of commutative operations. "

"The problem is that the user's data itself needs to be conflict-free" The user's data needs to support being modeled by a series of commutative operations. "CRDTs are a fundamentally leaky abstraction" Are non-commutative data types less fundamentally leaky than commutative data types?