diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+2025-05-07
+        * Version bump (4.4). (#618)
+        * Remove deprecated Copilot.Core.Type.uTypeType. (#615)
+
 2025-03-07
         * Version bump (4.3). (#604)
         * Fix typo in documentation. (#587)
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.3
+version:             4.4
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.
diff --git a/src/Copilot/Core/Type.hs b/src/Copilot/Core/Type.hs
--- a/src/Copilot/Core/Type.hs
+++ b/src/Copilot/Core/Type.hs
@@ -289,8 +289,7 @@
   simpleType (Array t) = SArray t
 
 -- | A untyped type (no phantom type).
-data UType = forall a . Typeable a => UType { uTypeType :: Type a }
-{-# DEPRECATED uTypeType "This field is deprecated in Copilot 4.1. Use pattern matching instead." #-}
+data UType = forall a . Typeable a => UType (Type a)
 
 instance Eq UType where
   UType ty1 == UType ty2 = typeRep ty1 == typeRep ty2