Katara: Synthesize CRDTs from Sequential Types | Dark Hacker News