newcoll2 = unaryApplyChanges coll1 commands
in coll2 @=? newcoll2
+prop_modifyToSyncSimple :: SyncCollection Int Word8 -> Word8 -> Result
+prop_modifyToSyncSimple base newv
+ | Map.empty base = True @=? True
+ | otherwise = ([], [], [ModifyContent @=?
+ where k = fst . head . Map.toList base
+prop_modifyToSync
+
q :: Testable a => String -> a -> HU.Test
q = qccheck (defaultConfig {configMaxTest = 250})