diff --git a/intro.cabal b/intro.cabal
--- a/intro.cabal
+++ b/intro.cabal
@@ -3,7 +3,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           intro
-version:        0.1.0.4
+version:        0.1.0.5
 synopsis:       "Fixed Prelude" - Mostly total and safe, provides Text and Monad transformers
 description:    Intro is a modern Prelude which provides safe alternatives
                 for most of the partial functions and follows other
@@ -51,7 +51,7 @@
     , extra                >= 1.5.1   && < 1.6
     , hashable             >= 1.2.5   && < 1.3
     , mtl                  >= 2.2     && < 2.3
-    , safe                 >= 0.3     && < 0.4
+    , safe                 >= 0.3.11  && < 0.4
     , string-conversions   >= 0.4     && < 0.5
     , tagged               >= 0.8     && < 0.9
     , text                 >= 0.7     && < 1.3
@@ -85,7 +85,7 @@
     , extra                >= 1.5.1   && < 1.6
     , hashable             >= 1.2.5   && < 1.3
     , mtl                  >= 2.2     && < 2.3
-    , safe                 >= 0.3     && < 0.4
+    , safe                 >= 0.3.11  && < 0.4
     , string-conversions   >= 0.4     && < 0.5
     , tagged               >= 0.8     && < 0.9
     , text                 >= 0.7     && < 1.3
diff --git a/src/Intro.hs b/src/Intro.hs
--- a/src/Intro.hs
+++ b/src/Intro.hs
@@ -58,12 +58,11 @@
 --
 -- * 'cycle', 'head', 'tail', 'init', 'last'
 -- * 'foldl1', 'foldr1', 'maximum', 'minimum'
--- * 'toEnum'
+-- * 'toEnum', 'pred', 'succ'
 -- * 'read' is replaced by 'readMaybe'
 --
 -- These functions are not provided for various reasons:
 --
--- * 'succ' and 'pred' are not commonly used and don't have safe alternatives. Maybe ask if these could be added to the 'safe' package?
 -- * '!!' is unsafe and /O(n)/. Use a 'Data.Map.Map' instead.
 -- * 'lines', 'unlines', 'words' and 'unwords' are not provided. Use qualified 'Data.Text' import instead.
 -- * Instead of 'foldl', it is recommended to use 'Data.Foldable.foldl''.
@@ -365,6 +364,10 @@
        enumFromTo, enumFromThenTo)
   , Safe.toEnumMay
   , Safe.toEnumDef
+  , Safe.predMay
+  , Safe.predDef
+  , Safe.succMay
+  , Safe.succDef
 
   -- ** Bounded
   , Prelude.Bounded(minBound, maxBound)