diff --git a/library/Rebase/Data/Functor/Invariant.hs b/library/Rebase/Data/Functor/Invariant.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Data/Functor/Invariant.hs
@@ -0,0 +1,7 @@
+module Rebase.Data.Functor.Invariant
+(
+  module Data.Functor.Invariant
+)
+where
+
+import Data.Functor.Invariant
diff --git a/library/Rebase/Data/Functor/Invariant/TH.hs b/library/Rebase/Data/Functor/Invariant/TH.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Data/Functor/Invariant/TH.hs
@@ -0,0 +1,7 @@
+module Rebase.Data.Functor.Invariant.TH
+(
+  module Data.Functor.Invariant.TH
+)
+where
+
+import Data.Functor.Invariant.TH
diff --git a/library/Rebase/Data/Group.hs b/library/Rebase/Data/Group.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Data/Group.hs
@@ -0,0 +1,7 @@
+module Rebase.Data.Group
+(
+  module Data.Group
+)
+where
+
+import Data.Group
diff --git a/library/Rebase/Prelude.hs b/library/Rebase/Prelude.hs
--- a/library/Rebase/Prelude.hs
+++ b/library/Rebase/Prelude.hs
@@ -118,6 +118,7 @@
 -- semigroupoids
 -------------------------
 import Rebase.Data.Bifunctor.Apply as Exports
+import Rebase.Data.Groupoid as Exports
 import Rebase.Data.Functor.Alt as Exports hiding (($>), many, some, optional)
 import Rebase.Data.Functor.Apply as Exports hiding (($>))
 import Rebase.Data.Functor.Bind as Exports hiding (join, ($>))
@@ -232,6 +233,14 @@
 -- stm
 -------------------------
 import Rebase.Control.Concurrent.STM as Exports hiding (orElse)
+
+-- invariant
+-------------------------
+import Rebase.Data.Functor.Invariant as Exports
+
+-- groups
+-------------------------
+import Rebase.Data.Group as Exports
 
 -- custom
 -------------------------
diff --git a/rebase.cabal b/rebase.cabal
--- a/rebase.cabal
+++ b/rebase.cabal
@@ -1,5 +1,5 @@
 name: rebase
-version: 1.13.1
+version: 1.13.2
 synopsis: A more progressive alternative to the "base" package
 description:
   This package is intended for those who are tired of keeping
@@ -172,11 +172,14 @@
     Rebase.Data.Functor.Contravariant.Divisible
     Rebase.Data.Functor.Extend
     Rebase.Data.Functor.Identity
+    Rebase.Data.Functor.Invariant
+    Rebase.Data.Functor.Invariant.TH
     Rebase.Data.Functor.Plus
     Rebase.Data.Functor.Product
     Rebase.Data.Functor.Reverse
     Rebase.Data.Functor.Sum
     Rebase.Data.Graph
+    Rebase.Data.Group
     Rebase.Data.Groupoid
     Rebase.Data.Hashable
     Rebase.Data.Hashable.Time
@@ -427,8 +430,10 @@
     deepseq >=1.4 && <1.5,
     dlist >=0.8 && <1.1,
     either >=5 && <5.1,
+    groups >=0.5.3 && <0.6,
     hashable >=1.3 && <1.5,
     hashable-time >=0.2.0.2 && <0.4,
+    invariant >=0.5.5 && <0.6,
     mtl >=2.2 && <2.3,
     profunctors >=5.6 && <5.7,
     scientific >=0.3 && <0.4,