> The point is that you always have to think about merging behaviour for every piece of state.

CRDTs can't eliminate the requirement to think about what the consistent states are.