diff --git a/protolude.cabal b/protolude.cabal
index f91c94ea9..98e2d5fd7 100644
--- a/protolude.cabal
+++ b/protolude.cabal
@@ -62,6 +62,7 @@ library
     mtl              >= 2.1 && <2.3,
     transformers     >= 0.4 && < 0.6,
     text             >= 1.2 && <1.3,
+    stm              >= 2.4 && <2.5,
     string-conv      >= 0.1 && <0.2,
     bytestring       >= 0.10 && <0.11
 
diff --git a/src/Bool.hs b/src/Bool.hs
index 3b0a3a419..6dbe285b8 100644
--- a/src/Bool.hs
+++ b/src/Bool.hs
@@ -2,12 +2,12 @@
 {-# LANGUAGE NoImplicitPrelude #-}
 
 module Bool (
-    whenM
-  , unlessM
-  , ifM
-  , guardM
-  , bool
-  ) where
+  whenM
+, unlessM
+, ifM
+, guardM
+, bool
+) where
 
 import Data.Bool (Bool)
 import Data.Function (flip)
diff --git a/src/Protolude.hs b/src/Protolude.hs
index b14542211..b2c0b0217 100644
--- a/src/Protolude.hs
+++ b/src/Protolude.hs
@@ -30,8 +30,21 @@ import qualified Applicative as X
 -- Maybe'ized version of partial functions
 import Safe as X (
     headMay
+  , headDef
   , initMay
+  , initDef
+  , initSafe
   , tailMay
+  , tailDef
+  , tailSafe
+  , lastDef
+  , lastMay
+  , lookupJust
+  , findJust
+  , foldr1May
+  , foldl1May
+  , atMay
+  , atDef
   )
 
 -- Applicatives
@@ -233,10 +246,10 @@ import Control.Monad.ST as ST
 
 -- Concurrency and Parallelism
 import Control.Exception as X
+import Control.Monad.STM as X
 import Control.Concurrent as X
 import Control.Concurrent.Async as X
 
-
 import Foreign.Storable as Exports (Storable)
 
 -- Read instances hiding unsafe builtins (read)