diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,8 @@
+## 1.5.0
+
+* Removed `alwaysSTM` and `alwaysSucceedsSTM`. See
+  <https://github.com/ghc-proposals/ghc-proposals/pull/77>
+
 ## 1.4.0
 
 * Switch to `MonadUnliftIO`
diff --git a/classy-prelude.cabal b/classy-prelude.cabal
--- a/classy-prelude.cabal
+++ b/classy-prelude.cabal
@@ -1,11 +1,13 @@
--- This file has been generated from package.yaml by hpack version 0.20.0.
+cabal-version: 1.12
+
+-- This file has been generated from package.yaml by hpack version 0.30.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 647ba4603b5d219a6d274f99659ecd7683c8279bf0090aac1a69da0927940ae9
+-- hash: ed4a6b0e0086b4db58b2d21752faef28ac85000cdbd0a8397428671944432494
 
 name:           classy-prelude
-version:        1.4.0
+version:        1.5.0
 synopsis:       A typeclass-based Prelude.
 description:    See docs and README at <http://www.stackage.org/package/classy-prelude>
 category:       Control, Prelude
@@ -16,11 +18,9 @@
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
-cabal-version:  >= 1.10
-
 extra-source-files:
-    ChangeLog.md
     README.md
+    ChangeLog.md
 
 source-repository head
   type: git
diff --git a/src/ClassyPrelude.hs b/src/ClassyPrelude.hs
--- a/src/ClassyPrelude.hs
+++ b/src/ClassyPrelude.hs
@@ -25,8 +25,6 @@
       -- ** UnliftIO reexports
     , module UnliftIO
       -- ** Mutable references
-    , alwaysSTM
-    , alwaysSucceedsSTM
     , orElseSTM
     , module Data.Mutable
       -- ** STM Channels
@@ -432,16 +430,6 @@
     elem_by :: (a -> a -> Bool) -> a -> [a] -> Bool
     elem_by _  _ []     = False
     elem_by eq y (x:xs) = y `eq` x || elem_by eq y xs
-
--- | Synonym for 'STM.always'.
-alwaysSTM :: STM Bool -> STM ()
-alwaysSTM = STM.always
-{-# INLINE alwaysSTM #-}
-
--- | Synonym for 'STM.alwaysSucceeds'.
-alwaysSucceedsSTM :: STM a -> STM ()
-alwaysSucceedsSTM = STM.alwaysSucceeds
-{-# INLINE alwaysSucceedsSTM #-}
 
 -- | Synonym for 'STM.orElse'.
 orElseSTM :: STM a -> STM a -> STM a