diff --git a/ascii-superset.cabal b/ascii-superset.cabal
--- a/ascii-superset.cabal
+++ b/ascii-superset.cabal
@@ -1,7 +1,7 @@
 cabal-version: 3.0
 
 name: ascii-superset
-version: 1.2.4.0
+version: 1.2.5.0
 synopsis: Representing ASCII with refined supersets
 category: Data, Text
 
diff --git a/changelog.md b/changelog.md
--- a/changelog.md
+++ b/changelog.md
@@ -1,3 +1,17 @@
+### 1.2.5.0 (2023-01-06)
+
+New in `ASCII.CaseRefinement`:
+
+```haskell
+forgetCase :: ASCII'case letterCase superset -> ASCII superset
+```
+
+And a new corresponding `Lift` instance:
+
+```haskell
+instance Lift (ASCII'case letterCase superset) (ASCII superset)
+```
+
 ### 1.2.4.0 (2023-01-05)
 
 New classes:
diff --git a/library/ASCII/CaseRefinement.hs b/library/ASCII/CaseRefinement.hs
--- a/library/ASCII/CaseRefinement.hs
+++ b/library/ASCII/CaseRefinement.hs
@@ -1,6 +1,6 @@
 module ASCII.CaseRefinement
   (
-    {- * ASCII'case type constructor -} ASCII'case, lift, asciiCaseUnsafe,
+    {- * ASCII'case type constructor -} ASCII'case, lift, asciiCaseUnsafe, forgetCase,
     {- ** Aliases -} {- $aliases -} ASCII'upper, ASCII'lower,
     {- * Character functions -} validateChar, fromCaselessChar,
           toCaselessChar, substituteChar, asCaselessChar, refineCharToCase,
@@ -115,6 +115,9 @@
 of producing an invalid 'ASCII'case' value. -}
 asciiCaseUnsafe :: superset -> ASCII'case letterCase superset
 asciiCaseUnsafe = ASCII'case_Unsafe
+
+forgetCase :: ASCII'case letterCase superset -> ASCII superset
+forgetCase = Refinement.asciiUnsafe . lift
 
 ---
 
diff --git a/library/ASCII/Lift.hs b/library/ASCII/Lift.hs
--- a/library/ASCII/Lift.hs
+++ b/library/ASCII/Lift.hs
@@ -44,6 +44,8 @@
 
 instance Lift (ASCII'case letterCase superset) superset where lift = CaseRefinement.lift
 
+instance Lift (ASCII'case letterCase superset) (ASCII superset) where lift = CaseRefinement.forgetCase
+
 {-| An ASCII 'Char' may be 'lift'ed into any larger character set (a
 'CharSuperset'); for example, 'lift' can convert an ASCII character into a value
 of the standard 'Prelude.Char' type in "Prelude". -}
diff --git a/library/ASCII/Refinement.hs-boot b/library/ASCII/Refinement.hs-boot
--- a/library/ASCII/Refinement.hs-boot
+++ b/library/ASCII/Refinement.hs-boot
@@ -3,3 +3,5 @@
 data ASCII superset
 
 lift :: ASCII superset -> superset
+
+asciiUnsafe :: superset -> ASCII superset