diff --git a/CHANGELOG.md b/CHANGELOG.md
index 20de535..746074a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,10 @@
+## 0.2.0 (2023-08-04)
+* Redesign interface, pushing certain checks out of type classes into top-level
+  generic function type signature. It means busier top-level types and more code
+  for wrapping them, but it allows for more flexibility and cleans up
+  implementation. (And the busyness simply makes explicit the implicit checks
+  that were being done before.)
+
 ## 0.1.1 (2023-07-20)
   * add work-in-progress store-style generic `foldMap`, encoding constructors by
     their index, at `Generic.Data.Function.FoldMap.SumConsByte`
diff --git a/generic-data-functions.cabal b/generic-data-functions.cabal
index 7da9a66..e248a00 100644
--- a/generic-data-functions.cabal
+++ b/generic-data-functions.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           generic-data-functions
-version:        0.1.1
+version:        0.2.0
 synopsis:       Familiar functions lifted to generic data types
 description:    Please see README.md.
 category:       Data, Serialization
diff --git a/package.yaml b/package.yaml
index 4e2110f..6f0e377 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name: generic-data-functions
-version: 0.1.1
+version: 0.2.0
 synopsis: Familiar functions lifted to generic data types
 description: Please see README.md.
 extra-source-files: