diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,13 @@
 # Revision history for dependent-sum-template
 
+## 0.1.1.1 - 2021-12-30
+
+* Fix warning with GHC 9.2 about non-canonical `return`.
+
+## 0.1.1.0 revision 1 - 2021-11-30
+
+* Add bound to `th-abstraction` to prevent build failure.
+
 ## 0.1.1.0 - 2021-11-25
 
 * Support GHC 9.0
diff --git a/dependent-sum-template.cabal b/dependent-sum-template.cabal
--- a/dependent-sum-template.cabal
+++ b/dependent-sum-template.cabal
@@ -1,5 +1,5 @@
 name:                   dependent-sum-template
-version:                0.1.1.0
+version:                0.1.1.1
 stability:              experimental
 
 cabal-version:          >= 1.10
@@ -39,7 +39,7 @@
                         dependent-sum >= 0.4.1 && < 0.8,
                         template-haskell,
                         th-extras >= 0.0.0.2,
-                        th-abstraction
+                        th-abstraction >= 0.4
 
 test-suite test
   if impl(ghc < 8.0)
diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs
--- a/src/Data/GADT/Compare/TH.hs
+++ b/src/Data/GADT/Compare/TH.hs
@@ -76,11 +76,11 @@
 
 instance Functor (GComparing a b) where fmap f (GComparing x) = GComparing (either Left (Right . f) x)
 instance Monad (GComparing a b) where
-    return = GComparing . Right
+    return = pure
     GComparing (Left  x) >>= f = GComparing (Left x)
     GComparing (Right x) >>= f = f x
 instance Applicative (GComparing a b) where
-    pure = return
+    pure = GComparing . Right
     (<*>) = ap
 
 geq' :: GCompare t => t a -> t b -> GComparing x y (a :~: b)