diff --git a/lib/Data/RBR.hs b/lib/Data/RBR.hs
--- a/lib/Data/RBR.hs
+++ b/lib/Data/RBR.hs
@@ -2,6 +2,7 @@
         -- * Type-level Red-Black tree
         -- $typelevel
         Map,
+        Empty,
         EmptyMap,
         KeysValuesAll,
         KnownKey,
diff --git a/lib/Data/RBR/Internal.hs b/lib/Data/RBR/Internal.hs
--- a/lib/Data/RBR/Internal.hs
+++ b/lib/Data/RBR/Internal.hs
@@ -57,6 +57,7 @@
 -- | A map without entries. See also 'unit' and 'impossible'.
 type Empty = E
 
+{-# DEPRECATED EmptyMap "Use Empty instead." #-}
 type EmptyMap = E
 
 --
diff --git a/red-black-record.cabal b/red-black-record.cabal
--- a/red-black-record.cabal
+++ b/red-black-record.cabal
@@ -1,6 +1,6 @@
 cabal-version:       2.0
 name:                red-black-record
-version:             2.0.1.0
+version:             2.0.2.0
 synopsis:            Extensible records and variants indexed by a type-level Red-Black tree.
 
 description:         A library that provides extensible records and variants,
diff --git a/tests/tests.hs b/tests/tests.hs
--- a/tests/tests.hs
+++ b/tests/tests.hs
@@ -61,7 +61,7 @@
 type family Perform (as :: [Action Symbol Type]) :: Map Symbol Type where
     Perform (Act In s v ': as) = Insert s v (Perform as)
     Perform (Act De s v ': as) = Delete s v (Perform as)
-    Perform '[]                = EmptyMap
+    Perform '[]                = Empty
 
 perform :: [Action String TypeRep] -> Map String TypeRep
 perform = foldr (\(Act iod s v) t -> case iod of In -> t_insert s v t