@@ -205,7 +205,7 @@ mapEditSetMoved moved = \case
205-- * The same source key may not be moved to two destination keys.
205-- * The same source key may not be moved to two destination keys.
206-- * Any key that is the source of a Move must also be edited
206-- * Any key that is the source of a Move must also be edited
207-- (otherwise, the Move would duplicate it)
207-- (otherwise, the Move would duplicate it)
208−data PatchMapWithMove k v = PatchMapWithMove (Map k (MapEdit k v)) deriving (Show, Eq, Ord, Functor, Foldable, Traversable)
208+newtype PatchMapWithMove k v = PatchMapWithMove (Map k (MapEdit k v)) deriving (Show, Eq, Ord, Functor, Foldable, Traversable)
210unPatchMapWithMove :: PatchMapWithMove k v -> Map k (MapEdit k v)
210unPatchMapWithMove :: PatchMapWithMove k v -> Map k (MapEdit k v)
211unPatchMapWithMove (PatchMapWithMove p) = p
211unPatchMapWithMove (PatchMapWithMove p) = p