CRDT.GCounter.Cv.Internal

data GCounter a