diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,16 @@
 # Revision history for group-theory
 
+## 0.2.2
+
+* Bump `groups` bound to `0.5.3` for `generated'` bugfix.
+* Update documentation and doctests
+
+## 0.2.1.0
+
+* Support for GHC 9.0
+* Fixed mempty instance for `Abelianizer`
+* Fix warning for redundant semigroup import
+
 ## 0.2.0.0
 
 * Depend on the `groups` package ([#19](https://github.com/emilypi/group-theory/pull/19) - thanks to @taneb for providing the package!)
diff --git a/group-theory.cabal b/group-theory.cabal
--- a/group-theory.cabal
+++ b/group-theory.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.0
 name:               group-theory
-version:            0.2.1.0
+version:            0.2.2
 synopsis:           The theory of groups
 description:
   This package includes definitions for Groups (Monoids with invertibility), including order calculations
@@ -58,7 +58,7 @@
   build-depends:
       base        >=4.11  && <5
     , containers  >=0.5   && <0.7
-    , groups      ^>=0.5.2
+    , groups      ^>=0.5.3
 
   hs-source-dirs:   src
   default-language: Haskell2010
diff --git a/src/Data/Group/Cyclic.hs b/src/Data/Group/Cyclic.hs
--- a/src/Data/Group/Cyclic.hs
+++ b/src/Data/Group/Cyclic.hs
@@ -21,6 +21,7 @@
   -- ** Combinators
 , classify
 , G.generated
+, G.generated'
 ) where
 
 import "groups" Data.Group as G
@@ -55,8 +56,8 @@
 --
 -- === __Examples__:
 --
--- >>> take 3 $ classify (< (3 :: Sum Word8))
--- [Sum {getSum = 1},Sum {getSum = 2}]
+-- >>> classify @(Sum Word8) (< 3)
+-- [Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 0}]
 --
 classify :: (Eq a, G.Cyclic a) => (a -> Bool) -> [a]
 classify p = filter p G.generated'
diff --git a/src/Data/Group/Finite.hs b/src/Data/Group/Finite.hs
--- a/src/Data/Group/Finite.hs
+++ b/src/Data/Group/Finite.hs
@@ -93,8 +93,8 @@
 --
 -- === __Examples__:
 --
--- >>> take 3 $ safeClassify (< (3 :: Sum Word8))
--- [Sum {getSum = 1},Sum {getSum = 2}]
+-- >>> safeClassify @(Sum Word8) (< 3)
+-- [Sum {getSum = 1},Sum {getSum = 2},Sum {getSum = 0}]
 --
 safeClassify :: (Eq a, Cyclic a, FiniteGroup a) => (a -> Bool) -> [a]
 safeClassify = classify