diff --git a/intro.cabal b/intro.cabal
--- a/intro.cabal
+++ b/intro.cabal
@@ -1,11 +1,13 @@
--- This file has been generated from package.yaml by hpack version 0.28.2.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.31.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 837f31ed324461d1de827cebe795ed7291d37329569a322ea51703216f80ee89
+-- hash: 4d0621476135a57242254a80f1636f3a994b7d6d2ee29c126324eb537815c85e
 
 name:           intro
-version:        0.5.1.0
+version:        0.5.2.0
 synopsis:       Safe and minimal prelude
 description:    Intro is a modern Prelude which provides safe alternatives
                 for most of the partial functions and follows other
@@ -29,7 +31,6 @@
 license-file:   LICENSE
 tested-with:    GHC == 8.0.1, GHC == 8.2.1, GHC == 8.4.3, GHC == 8.6.1
 build-type:     Simple
-cabal-version:  >= 1.10
 extra-source-files:
     README.md
 
diff --git a/src/Intro.hs b/src/Intro.hs
--- a/src/Intro.hs
+++ b/src/Intro.hs
@@ -54,12 +54,16 @@
 -- * 'sequence' = 'Control.Applicative.sequenceA'
 -- * 'sequence_' = 'Control.Applicative.sequenceA_'
 --
--- Unsafe functions are not provided. Use the '*May' or '*Def' alternatives instead.
+-- Unsafe functions are not provided. For example 'read' is replaced by 'readMaybe'.
+-- The unsafe list functions are replaced by their 'NonEmpty' counterparts. Furthermore '*May' and '*Def'
+-- functions are exported from the 'safe' package, e.g., 'headMay'.
 --
 -- * 'cycle', 'head', 'tail', 'init', 'last'
+--
+-- The following functions have been replaced by their '*May' and '*Def' variants:
+--
 -- * 'foldl1', 'foldr1', 'maximum', 'minimum'
 -- * 'toEnum', 'pred', 'succ'
--- * 'read' is replaced by 'readMaybe'
 --
 -- These functions are not provided for various reasons:
 --
@@ -207,6 +211,11 @@
   -- (<|), -- in lens
   , Data.List.NonEmpty.scanl1
   , Data.List.NonEmpty.scanr1
+  , Data.List.NonEmpty.head
+  , Data.List.NonEmpty.init
+  , Data.List.NonEmpty.last
+  , Data.List.NonEmpty.tail
+  , Data.List.NonEmpty.cycle
 
   -- ** Tuple
   , Data.Tuple.fst