diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2025-07-07
+        * Version bump (4.5). (#642)
+        * Remove deprecated fields of Copilot.Core.Expr.UExpr. (#636)
+
 2025-05-07
         * Version bump (4.4). (#618)
         * Remove deprecated Copilot.Core.Type.uTypeType. (#615)
diff --git a/copilot-core.cabal b/copilot-core.cabal
--- a/copilot-core.cabal
+++ b/copilot-core.cabal
@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             4.4
+version:             4.5
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
diff --git a/src/Copilot/Core/Expr.hs b/src/Copilot/Core/Expr.hs
--- a/src/Copilot/Core/Expr.hs
+++ b/src/Copilot/Core/Expr.hs
@@ -67,8 +67,4 @@
 -- | A untyped expression that carries the information about the type of the
 -- expression as a value, as opposed to exposing it at type level (using an
 -- existential).
-data UExpr = forall a . Typeable a => UExpr
-  { uExprType :: Type a
-  , uExprExpr :: Expr a
-  }
-{-# DEPRECATED uExprType, uExprExpr "These fields are deprecated in Copilot 4.2. Use pattern matching instead." #-}
+data UExpr = forall a . Typeable a => UExpr (Type a) (Expr a)