diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,12 @@
+## [0.2.0.16](https://github.com/diagrams/active/tree/v0.2.0.16) (2022-08-23)
+
+- Updates for GHC 9.4
+- Allow `base-4.17`, `lens-5.2`
+
+## [0.2.0.15](https://github.com/diagrams/active/tree/v0.2.0.15) (2021-05-24)
+
+- Updates for GHC 9.0
+
 ## [0.2.0.14](https://github.com/diagrams/active/tree/v0.2.0.14) (2019-10-19)
 
 - Updates for GHC 8.8
diff --git a/active.cabal b/active.cabal
--- a/active.cabal
+++ b/active.cabal
@@ -1,5 +1,5 @@
 name:                active
-version:             0.2.0.15
+version:             0.2.0.16
 synopsis:            Abstractions for animation
 description:         "Active" abstraction for animated things with finite start and end times.
 license:             BSD3
@@ -12,7 +12,7 @@
 cabal-version:       1.18
 extra-source-files:  CHANGES, README.markdown, diagrams/*.svg
 extra-doc-files:     diagrams/*.svg
-tested-with:         GHC == 7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.4 || ==9.0.1
+tested-with:         GHC ==7.8.4 || ==7.10.3 || ==8.0.2 || ==8.2.2 || ==8.4.4 || ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.4 || ==9.4.1
 bug-reports:         https://github.com/diagrams/active/issues
 source-repository head
   type:     git
@@ -20,11 +20,11 @@
 
 library
   exposed-modules:     Data.Active
-  build-depends:       base >= 4.0 && < 4.16,
+  build-depends:       base >= 4.0 && < 4.18,
                        vector >= 0.10,
-                       semigroups >= 0.1 && < 0.20,
+                       semigroups >= 0.1 && < 0.21,
                        semigroupoids >= 1.2 && < 5.4,
-                       lens >= 4.0 && < 5.1,
+                       lens >= 4.0 && < 5.3,
                        linear >= 1.14 && < 1.22
   hs-source-dirs:      src
   default-language:    Haskell2010
@@ -32,11 +32,11 @@
 test-suite active-tests
     type:              exitcode-stdio-1.0
     main-is:           active-tests.hs
-    build-depends:     base >= 4.0 && < 4.16,
+    build-depends:     base >= 4.0 && < 4.18,
                        vector >= 0.10,
-                       semigroups >= 0.1 && < 0.20,
+                       semigroups >= 0.1 && < 0.21,
                        semigroupoids >= 1.2 && < 5.4,
-                       lens >= 4.0 && < 5.1,
+                       lens >= 4.0 && < 5.3,
                        linear >= 1.14 && < 1.22,
                        QuickCheck >= 2.9 && < 2.15
     other-modules:     Data.Active
diff --git a/src/Data/Active.hs b/src/Data/Active.hs
--- a/src/Data/Active.hs
+++ b/src/Data/Active.hs
@@ -7,6 +7,7 @@
 {-# LANGUAGE ScopedTypeVariables        #-}
 {-# LANGUAGE TemplateHaskell            #-}
 {-# LANGUAGE TypeFamilies               #-}
+{-# LANGUAGE TypeOperators              #-}
 {-# LANGUAGE TypeSynonymInstances       #-}
 {-# LANGUAGE UndecidableInstances       #-}
 {-# LANGUAGE ViewPatterns               #-}
@@ -35,7 +36,7 @@
 --
 -- The original motivating use for this library is to support making
 -- animations with the diagrams framework
--- (<http://projects.haskell.org/diagrams>), but the hope is that it
+-- (<https://diagrams.github.io>), but the hope is that it
 -- may find more general utility.
 --
 -- There are two basic ways to create an @Active@ value.  The first is