Eventual consistency done right: What CRDTs teach us | Meetlabs