diff --git a/library/Rebase/Data/List/NonEmpty.hs b/library/Rebase/Data/List/NonEmpty.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Data/List/NonEmpty.hs
@@ -0,0 +1,7 @@
+module Rebase.Data.List.NonEmpty
+(
+  module Data.List.NonEmpty,
+)
+where
+
+import Data.List.NonEmpty
diff --git a/library/Rebase/Data/Semigroup.hs b/library/Rebase/Data/Semigroup.hs
new file mode 100644
--- /dev/null
+++ b/library/Rebase/Data/Semigroup.hs
@@ -0,0 +1,7 @@
+module Rebase.Data.Semigroup
+(
+  module Data.Semigroup,
+)
+where
+
+import Data.Semigroup
diff --git a/library/Rebase/Prelude.hs b/library/Rebase/Prelude.hs
--- a/library/Rebase/Prelude.hs
+++ b/library/Rebase/Prelude.hs
@@ -13,7 +13,7 @@
 
 -- base-prelude
 -------------------------
-import BasePrelude as Exports hiding (fail)
+import BasePrelude as Exports hiding (fail, Last(..), First(..), (<>))
 
 -- profunctors
 -------------------------
@@ -27,6 +27,11 @@
 -- contravariant-extras
 -------------------------
 import Rebase.Contravariant.Extras as Exports
+
+-- semigroups
+-------------------------
+import Rebase.Data.Semigroup as Exports
+import Rebase.Data.List.NonEmpty as Exports (NonEmpty)
 
 -- deepseq
 -------------------------
diff --git a/rebase.cabal b/rebase.cabal
--- a/rebase.cabal
+++ b/rebase.cabal
@@ -1,7 +1,7 @@
 name:
   rebase
 version:
-  0.1.5
+  0.2
 synopsis:
   A more progressive alternative to the "base" package
 description:
@@ -99,6 +99,9 @@
     Rebase.Data.Functor.Contravariant.Divisible
     -- contravariant-extras:
     Rebase.Contravariant.Extras
+    -- semigroups:
+    Rebase.Data.Semigroup
+    Rebase.Data.List.NonEmpty
     -- deepseq:
     Rebase.Control.DeepSeq
   build-depends:
@@ -118,6 +121,7 @@
     profunctors >= 5.2 && < 6,
     contravariant >= 1.4 && < 2,
     contravariant-extras == 0.3.*,
+    semigroups >= 0.18 && < 0.19,
     deepseq >= 1.4 && < 2,
     -- general:
     base-prelude >= 0.1.21 && < 0.2,