Principles of Reactive Programming: Replicated KV Store