diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+## 0.9.3.2
+
+* No externally visible changes
+
 ## 0.9.3.1
 
 * No externally visible changes
diff --git a/opaleye.cabal b/opaleye.cabal
--- a/opaleye.cabal
+++ b/opaleye.cabal
@@ -1,6 +1,6 @@
 name:            opaleye
 copyright:       Copyright (c) 2014-2018 Purely Agile Limited; 2019-2022 Tom Ellis
-version:         0.9.3.1
+version:         0.9.3.2
 synopsis:        An SQL-generating DSL targeting PostgreSQL
 description:     An SQL-generating DSL targeting PostgreSQL.  Allows
                  Postgres queries to be written within Haskell in a
diff --git a/src/Opaleye/Internal/Values.hs b/src/Opaleye/Internal/Values.hs
--- a/src/Opaleye/Internal/Values.hs
+++ b/src/Opaleye/Internal/Values.hs
@@ -113,22 +113,28 @@
 
 valuesspecField :: Opaleye.SqlTypes.IsSqlType a
                 => Valuesspec (Field_ n a) (Field_ n a)
-valuesspecField = def
+valuesspecField = def_
+    where def_ = valuesspecFieldType (Opaleye.Internal.PGTypes.showSqlType sqlType)
+          sqlType = columnProxy def_
+          columnProxy :: f (Field_ n sqlType) -> Maybe sqlType
+          columnProxy _ = Nothing
 
-instance Opaleye.Internal.PGTypes.IsSqlType a
-  => Default Valuesspec (Field_ n a) (Field_ n a) where
-  def = def_
+-- For rel8
+valuesspecFieldType :: String -> Valuesspec (Field_ n a) (Field_ n a)
+valuesspecFieldType sqlType = def_
     where def_ = ValuesspecSafe (PM.PackMap (\f () -> fmap Column (f null_)))
                                 U.unpackspecField
-          null_ = nullPE sqlType
+          null_ = nullPEType sqlType
 
-          sqlType = columnProxy def_
-          columnProxy :: f (Field_ n sqlType) -> Maybe sqlType
-          columnProxy _ = Nothing
+instance Opaleye.Internal.PGTypes.IsSqlType a
+  => Default Valuesspec (Field_ n a) (Field_ n a) where
+  def = valuesspecField
 
 nullPE :: Opaleye.SqlTypes.IsSqlType a => proxy a -> HPQ.PrimExpr
-nullPE sqlType = HPQ.CastExpr (Opaleye.Internal.PGTypes.showSqlType sqlType)
-                              (HPQ.ConstExpr HPQ.NullLit)
+nullPE sqlType = nullPEType (Opaleye.Internal.PGTypes.showSqlType sqlType)
+
+nullPEType :: String -> HPQ.PrimExpr
+nullPEType sqlType = HPQ.CastExpr sqlType (HPQ.ConstExpr HPQ.NullLit)
 
 -- Implementing this in terms of Valuesspec for convenience
 newtype Nullspec fields fields' = Nullspec (Valuesspec Void fields')