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.0.0.1
+version:                0.0.0.3
 stability:              experimental
 
 cabal-version:          >= 1.6
@@ -23,6 +23,6 @@
   exposed-modules:      Data.GADT.Compare.TH
                         Data.GADT.Show.TH
   build-depends:        base >= 3 && <5,
-                        dependent-sum == 0.2.*,
+                        dependent-sum >= 0.2 && < 0.4,
                         template-haskell,
                         th-extras >= 0.0.0.2
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
@@ -93,6 +93,9 @@
     return = GComparing . Right
     GComparing (Left  x) >>= f = GComparing (Left x)
     GComparing (Right x) >>= f = f x
+instance Applicative (GComparing a b) where
+    pure = return
+    (<*>) = ap 
 
 geq' :: GCompare t => t a -> t b -> GComparing x y (a := b)
 geq' x y = GComparing (case gcompare x y of