diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for deriving-via-fun
 
-## 0.1.0.0 -- YYYY-mm-dd
+## 0.1.1.0 -- 2025-11-06
+
+- Export constructor of `Fun1`.
+
+## 0.1.0.0 -- 2025-11-06
 
 * First version. Released on an unsuspecting world.
diff --git a/deriving-via-fun.cabal b/deriving-via-fun.cabal
--- a/deriving-via-fun.cabal
+++ b/deriving-via-fun.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               deriving-via-fun
-version:            0.1.0.0
+version:            0.1.1.0
 synopsis: Deriving via first-class functions
 description:
   Derive class instances by mapping over them
diff --git a/src/DerivingViaFun.hs b/src/DerivingViaFun.hs
--- a/src/DerivingViaFun.hs
+++ b/src/DerivingViaFun.hs
@@ -32,6 +32,10 @@
 -- >   deriving (Semigroup, Monoid)
 -- >     via Fun (Coerce All Bool >>> Not >>> Coerce Bool Any)
 --
+-- > data T1 a = T1 [a] a
+-- >   deriving Generic
+-- >   deriving (Functor, Applicative, Monad, Foldable) via Fun1 (T1 ?-> Product [] Identity)
+--
 -- = Extensions to use this library
 --
 -- > {-# LANGUAGE DerivingVia, TypeOperators #-}
@@ -70,7 +74,7 @@
   , Adhoc
 
   -- * Higher-kinded types
-  , Fun1
+  , Fun1(..)
   , fun1
   , unfun1
   , Apply1
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -8,6 +8,8 @@
 
 import DerivingViaFun
 import Data.Monoid (Sum(..), Any(..))
+import Data.Functor.Product (Product(..))
+import Data.Functor.Identity (Identity(..))
 import GHC.Generics (Generic)
 
 data T0 = T0 Int Bool
@@ -18,6 +20,10 @@
 newtype All = All Bool
   deriving (Eq, Ord) via Fun (Coerce All Bool)
   deriving (Semigroup, Monoid) via Fun (Coerce All Bool >>> Not >>> Coerce Bool Any)
+
+data T1 a = T1 [a] a
+  deriving Generic
+  deriving (Functor, Applicative, Monad, Foldable) via Fun1 (T1 ?-> Product [] Identity)
 
 main :: IO ()
 main = pure ()