diff --git a/Data/Copointed.hs b/Data/Copointed.hs
--- a/Data/Copointed.hs
+++ b/Data/Copointed.hs
@@ -19,6 +19,7 @@
 import qualified Control.Comonad.Trans.Store.Lazy as Lazy
 import qualified Control.Comonad.Trans.Store.Memo as Memo
 import qualified Control.Comonad.Trans.Store.Strict as Strict
+import Data.List.NonEmpty (NonEmpty(..))
 
 -- | 'Copointed' does not require a 'Functor', as the only relationship
 -- between 'copoint' and 'fmap' is given by a free theorem.
@@ -64,6 +65,9 @@
 
 instance Copointed Sum where
   copoint = getSum
+
+instance Copointed NonEmpty where
+  copoint ~(a :| _) = a
 
 instance Copointed Semigroup.First where
   copoint = Semigroup.getFirst
diff --git a/Data/Pointed.hs b/Data/Pointed.hs
--- a/Data/Pointed.hs
+++ b/Data/Pointed.hs
@@ -20,6 +20,7 @@
 import Control.Monad.Trans.List
 import Control.Monad.Trans.Maybe
 import Control.Monad.Trans.Identity
+import Data.List.NonEmpty
 import qualified Control.Monad.Trans.RWS.Lazy as Lazy
 import qualified Control.Monad.Trans.RWS.Strict as Strict
 import qualified Control.Monad.Trans.Writer.Lazy as Lazy
@@ -51,6 +52,9 @@
 
 instance Pointed Tree where
   point a = Node a []
+
+instance Pointed NonEmpty where
+  point a = a :| [] 
 
 instance Pointed ZipList where
   point = pure
diff --git a/pointed.cabal b/pointed.cabal
--- a/pointed.cabal
+++ b/pointed.cabal
@@ -1,6 +1,6 @@
 name:          pointed
 category:      Data
-version:       0.1.1
+version:       0.1.2
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -23,10 +23,10 @@
     transformers >= 0.2.0 && < 0.3,
     containers >= 0.4.0.0 && < 0.5,
     data-default >= 0.2.0.1 && < 0.3,
-    comonad >= 1.0.3 && < 1.1, 
-    comonad-transformers >= 1.5.2.1 && < 1.6,
-    semigroups >= 0.4 && < 0.5,
-    semigroupoids >= 1.1.3 && < 1.2,
+    comonad >= 1.1 && < 1.2, 
+    comonad-transformers >= 1.6.1 && < 1.7,
+    semigroups >= 0.5 && < 0.6,
+    semigroupoids >= 1.2.1 && < 1.3,
     stm >= 2.1.2.1 && < 2.2
 
   exposed-modules: