diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,13 @@
 # Revision history for changeset
 
+## 0.2.2
+
+* Add record field for SetTo
+
+## 0.2.1
+
+* Fix instance overlapping in some cases
+
 ## 0.2
 
 * Support GHC 9.12
diff --git a/changeset.cabal b/changeset.cabal
--- a/changeset.cabal
+++ b/changeset.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.4
 name: changeset
-version: 0.2.1
+version: 0.2.2
 synopsis: Stateful monad transformer based on monoidal actions
 description:
   A general state monad transformer with separate types for the state and the possible changes.
@@ -114,7 +114,7 @@
     base,
     changeset,
     containers >=0.6 && <0.8,
-    falsify ^>=0.2.0,
+    falsify ^>=0.3.0,
     monoid-extras,
     tasty >=1.4.2 && <1.6,
     tasty-hunit ^>=0.10.2,
diff --git a/src/Control/Monad/Trans/Changeset.hs b/src/Control/Monad/Trans/Changeset.hs
--- a/src/Control/Monad/Trans/Changeset.hs
+++ b/src/Control/Monad/Trans/Changeset.hs
@@ -425,14 +425,14 @@
 
 This change unconditionally overwrites the old value.
 -}
-newtype SetTo a = SetTo a
+newtype SetTo a = SetTo {getSetTo :: a}
   deriving stock (Eq, Show, Read, Ord, Generic, Functor, Foldable, Traversable)
 
 instance Semigroup (SetTo a) where
   _ <> a = a
 
 instance RightAction (SetTo a) a where
-  actRight _ (SetTo a) = a
+  actRight _ = getSetTo
 
 instance RightTorsor (SetTo a) a where
   differenceRight _ = SetTo