Katara: Synthesize CRDTs from Sequential Types | Heykuki News