diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Changelog for free-category
 
+## Version 0.0.4.5
+- Support `GHC-9.6`.
+- Export `Arr` all constructors.
+
 ## Version 0.0.4.4
 - Added support for GHC: `9.0`, `9.2`, `9.4`.
 - Dropped support for `GHC-8.6` or earlier.
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # Free Category
-[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg)](http://github.com/coot)
-[![Haskell/CI](https://github.com/coot/free-category/workflows/Haskell/CI/badge.svg)](https://github.com/coot/free-category/actions)
+[![Maintainer: coot](https://img.shields.io/badge/maintainer-coot-lightgrey.svg?style=for-the-badge)](http://github.com/coot)
+[![Haskell/CI](https://img.shields.io/github/actions/workflow/status/coot/free-category/ci.yaml?branch=master&label=Build&style=for-the-badge)](https://github.com/coot/free-category/actions)
 
 This package contains efficient implementations of free categories. There are
 various representations available:
diff --git a/free-category.cabal b/free-category.cabal
--- a/free-category.cabal
+++ b/free-category.cabal
@@ -1,6 +1,6 @@
-cabal-version:  2.0
+cabal-version:  3.0
 name:           free-category
-version:        0.0.4.4
+version:        0.0.4.5
 synopsis:       efficient data types for free categories and arrows
 description:
   This package provides various data types for free categories, type
@@ -23,7 +23,7 @@
     bench/report-O1.md
     bench/report-O2.md
 stability:      experimental
-tested-with:    GHC==8.8.4, GHC==8.10.7, GHC==9.0.2, GHC==9.2.4, GHC==9.4.2
+tested-with:    GHC == { 8.10, 9.0, 9.2, 9.4, 9.6 }
 
 source-repository head
   type: git
@@ -42,8 +42,8 @@
   hs-source-dirs:
       src
   build-depends:
-      base          >= 4.9 && <5
-    , free-algebras >= 0.0.8.2
+      base           >= 4.9 && < 5.0
+    , free-algebras ^>= 0.1.1.0
   ghc-options:
     -Wall
     -fwarn-incomplete-record-updates
diff --git a/src/Control/Arrow/Free.hs b/src/Control/Arrow/Free.hs
--- a/src/Control/Arrow/Free.hs
+++ b/src/Control/Arrow/Free.hs
@@ -11,7 +11,7 @@
 
 module Control.Arrow.Free
   ( -- * Free arrow
-    Arr (Id, Arr, Prod)
+    Arr (..)
   , arrArr
   , liftArr
   , mapArr