@@ -26,7 +26,7 @@ instance Patch (Identity a) where
26 type PatchTarget (Identity a) = a
26 type PatchTarget (Identity a) = a
27 apply (Identity a) _ = Just a
27 apply (Identity a) _ = Just a
29−-- | 'Identity' can be used as a 'Patch' that always fully replaces the value
29+-- | 'Proxy' can be used as a 'Patch' that does nothing.
30instance Patch (Proxy a) where
30instance Patch (Proxy a) where
31 type PatchTarget (Proxy a) = a
31 type PatchTarget (Proxy a) = a
32 apply ~Proxy _ = Nothing
32 apply ~Proxy _ = Nothing