diff --git a/vext.cabal b/vext.cabal
--- a/vext.cabal
+++ b/vext.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.4
 name: vext
-version: 0.1.1.0
+version: 0.1.2.0
 synopsis: Array library monomorphized with backpack
 bug-reports: https://github.com/andrewthad/vex-unified/issues
 license: BSD-3-Clause
@@ -221,7 +221,11 @@
     , Vector.Ord.Int64
     , Vector.Std.Unlifted
     , Vector.Map.Unlifted.Int32
+    , Vector.Map.Word8.Lifted
     , Vector.Map.Word16.Lifted
+    , Vector.Map.Word32.Lifted
+    , Vector.Map.Word64.Lifted
+    , Vector.Map.Int64.Lifted
     , Vector.Map.Unlifted.Lifted
     , Vector.Map.Lifted.Int32
     , Vector.Map.Lifted.Lifted
@@ -276,8 +280,16 @@
       (ElementA as Lifted, RepA as Lifted, ElementB as Unlifted, RepB as Unlifted),
     vext:map-indef (MapVector as Vector.Map.Unlifted.Lifted) requires
       (ElementA as Unlifted, RepA as Unlifted, ElementB as Lifted, RepB as Lifted),
+    vext:map-indef (MapVector as Vector.Map.Word8.Lifted) requires
+      (ElementA as Word8, RepA as Word8, ElementB as Lifted, RepB as Lifted),
     vext:map-indef (MapVector as Vector.Map.Word16.Lifted) requires
       (ElementA as Word16, RepA as Word16, ElementB as Lifted, RepB as Lifted),
+    vext:map-indef (MapVector as Vector.Map.Word32.Lifted) requires
+      (ElementA as Word32, RepA as Word32, ElementB as Lifted, RepB as Lifted),
+    vext:map-indef (MapVector as Vector.Map.Word64.Lifted) requires
+      (ElementA as Word64, RepA as Word64, ElementB as Lifted, RepB as Lifted),
+    vext:map-indef (MapVector as Vector.Map.Int64.Lifted) requires
+      (ElementA as Int64, RepA as Int64, ElementB as Lifted, RepB as Lifted),
     vext:indef (Vector as Vector.Std.Lifted) requires (Element as Lifted, Rep as Lifted),
     vext:indef (Vector as Vector.Std.Unlifted) requires (Element as Unlifted, Rep as Unlifted),
     vext:type-eq-indef (TypeEqVector as Vector.Std.Unlifted.Eq.ShortText)