diff --git a/Control/Monad/Trans/Class.hs b/Control/Monad/Trans/Class.hs
--- a/Control/Monad/Trans/Class.hs
+++ b/Control/Monad/Trans/Class.hs
@@ -5,7 +5,7 @@
 #if __GLASGOW_HASKELL__ >= 710 && __GLASGOW_HASKELL__ < 802
 {-# LANGUAGE AutoDeriveTypeable #-}
 #endif
-#if __GLASGOW_HASKELL__ >= 806
+#if __GLASGOW_HASKELL__ >= 808
 {-# LANGUAGE QuantifiedConstraints #-}
 #endif
 -----------------------------------------------------------------------------
@@ -58,13 +58,14 @@
 --
 -- * @'lift' (m >>= f) = 'lift' m >>= ('lift' . f)@
 --
--- Since 0.6.0.0, the requirement that @t m@ be a 'Monad' is enforced
--- by the implication constraint @forall m. 'Monad' m => 'Monad' (t m)@
--- enabled by the @QuantifiedConstraints@ extension (present in GHC 8.6
--- and later).
-#if __GLASGOW_HASKELL__ >= 806
+-- Since 0.6.0.0 and for GHC 8.8 and later, the requirement that @t m@
+-- be a 'Monad' is enforced by the implication constraint
+-- @forall m. 'Monad' m => 'Monad' (t m)@ enabled by the
+-- @QuantifiedConstraints@ extension.
+#if __GLASGOW_HASKELL__ >= 808
 class (forall m. Monad m => Monad (t m)) => MonadTrans t where
 #else
+-- prior to GHC 8.8 (base-4.13), the Monad class included fail
 class MonadTrans t where
 #endif
     -- | Lift a computation from the argument monad to the constructed monad.
diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,5 +1,8 @@
 -*-change-log-*-
 
+0.6.0.3 Ross Paterson <R.Paterson@city.ac.uk> Feb 2022
+	* Restrict MonadTrans constraint to GHC >= 8.8
+
 0.6.0.2 Ross Paterson <R.Paterson@city.ac.uk> Jul 2021
 	* Further backward compatability fix
 
diff --git a/transformers.cabal b/transformers.cabal
--- a/transformers.cabal
+++ b/transformers.cabal
@@ -1,5 +1,5 @@
 name:         transformers
-version:      0.6.0.2
+version:      0.6.0.3
 license:      BSD3
 license-file: LICENSE
 author:       Andy Gill, Ross Paterson