diff --git a/ascii-superset.cabal b/ascii-superset.cabal
--- a/ascii-superset.cabal
+++ b/ascii-superset.cabal
@@ -1,16 +1,19 @@
 cabal-version: 3.0
 
 name: ascii-superset
-version: 1.0.1.12
+version: 1.0.1.13
 synopsis: Representing ASCII with refined supersets
 category: Data, Text
 
 description:
-    This package defines classes which describe what
-    subset of a type is valid as ASCII, as well as a
-    type constructor representing a value of a
-    superset that is known to be valid ASCII.
+    This package defines classes which describe what subset of a type
+    is valid as ASCII, as well as a type constructor representing a
+    value of a superset that is known to be valid ASCII.
 
+    It also defines the Lift class, which provides a polymorphic lift
+    operation that can be used to convert characters and strings into
+    types that support a larger set of characters.
+
 license: Apache-2.0
 license-file: license.txt
 
@@ -35,8 +38,8 @@
 
     build-depends:
         ascii-char ^>= 1.0
-      , base >= 4.11 && < 4.17
-      , text ^>= 1.2.3
+      , base >= 4.13 && < 4.17
+      , text ^>= 1.2.4
 
 library
     import: base
@@ -52,7 +55,7 @@
 
     build-depends:
         bytestring ^>= 0.10 || ^>= 0.11
-      , hashable >= 1.2 && < 1.5
+      , hashable >= 1.3 && < 1.5
 
     exposed-modules:
         ASCII.Superset
@@ -73,4 +76,4 @@
 
     build-depends:
         ascii-superset
-      , hedgehog ^>= 1.0 || ^>= 1.1
+      , hedgehog ^>= 1.0.1 || ^>= 1.1
diff --git a/library/ASCII/Lift.hs b/library/ASCII/Lift.hs
--- a/library/ASCII/Lift.hs
+++ b/library/ASCII/Lift.hs
@@ -11,10 +11,14 @@
 
 import qualified Prelude
 
-class Lift ascii superset
+-- | Embedding of one character set within another
+--
+-- The @subset@ and @superset@ types may be characters or strings in ASCII, some subset of ASCII, or some superset of ASCII.
+--
+class Lift subset superset
   where
 
-    {- | Converts from ASCII to any larger type.
+    {- | Converts from a smaller to a larger type.
 
     >>> lift CapitalLetterA :: Word8
     65
@@ -26,7 +30,7 @@
 
     -}
 
-    lift :: ascii -> superset
+    lift :: subset -> superset
 
 -- | A value from an ASCII superset that has been refined by the 'ASCII' type constructor may be lifted back into the superset by unwrapping it from the 'ASCII' type.