diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown
--- a/CHANGELOG.markdown
+++ b/CHANGELOG.markdown
@@ -1,3 +1,7 @@
+0.17.2 [2022.05.07]
+-------------------
+* Allow building with `mtl-2.3.*` and `transformers-0.6.*`.
+
 0.17.1 [2021.02.17]
 -------------------
 * The build-type has been changed from `Custom` to `Simple`.
diff --git a/bytes.cabal b/bytes.cabal
--- a/bytes.cabal
+++ b/bytes.cabal
@@ -1,6 +1,6 @@
 name:          bytes
 category:      Data, Serialization
-version:       0.17.1
+version:       0.17.2
 license:       BSD3
 cabal-version: >= 1.10
 license-file:  LICENSE
@@ -20,7 +20,9 @@
              , GHC == 8.4.4
              , GHC == 8.6.5
              , GHC == 8.8.4
-             , GHC == 8.10.3
+             , GHC == 8.10.7
+             , GHC == 9.0.2
+             , GHC == 9.2.2
 synopsis:      Sharing code for serialization between binary and cereal
 description:   Sharing code for serialization between binary and cereal.
 
@@ -44,11 +46,11 @@
     bytestring                >= 0.9      && < 0.12,
     cereal                    >= 0.5.2    && < 0.6,
     containers                >= 0.3      && < 1,
-    hashable                  >= 1.0.1.1  && < 1.4,
-    mtl                       >= 2.0      && < 2.3,
-    text                      >= 0.2      && < 1.3,
-    time                      >= 1.2      && < 1.11,
-    transformers              >= 0.2      && < 0.6,
+    hashable                  >= 1.0.1.1  && < 1.5,
+    mtl                       >= 2.0      && < 2.4,
+    text                      >= 0.2      && < 2.1,
+    time                      >= 1.2      && < 1.12,
+    transformers              >= 0.2      && < 0.7,
     transformers-compat       >= 0.6.5    && < 1,
     unordered-containers      >= 0.2      && < 0.3,
     scientific                >= 0.0      && < 1,
diff --git a/src/Data/Bytes/Get.hs b/src/Data/Bytes/Get.hs
--- a/src/Data/Bytes/Get.hs
+++ b/src/Data/Bytes/Get.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE DefaultSignatures #-}
 {-# LANGUAGE Trustworthy #-}
@@ -32,7 +33,8 @@
 #if __GLASGOW_HASKELL__ < 710
 import Control.Applicative
 #endif
-import Control.Monad.Reader
+import Control.Monad (liftM, unless)
+import Control.Monad.Reader (ReaderT(..))
 import Control.Monad.Trans.Except as Except
 import Control.Monad.RWS.Lazy as Lazy
 import Control.Monad.RWS.Strict as Strict