diff --git a/dependent-sum-template.cabal b/dependent-sum-template.cabal
index a4d3c31..71b99e5 100644
--- a/dependent-sum-template.cabal
+++ b/dependent-sum-template.cabal
@@ -1,5 +1,5 @@
 name:                   dependent-sum-template
-version:                0.0.0.2
+version:                0.0.0.3
 stability:              experimental
 
 cabal-version:          >= 1.6
diff --git a/src/Data/GADT/Compare/TH.hs b/src/Data/GADT/Compare/TH.hs
index 3dbfead..acbafe5 100644
--- a/src/Data/GADT/Compare/TH.hs
+++ b/src/Data/GADT/Compare/TH.hs
@@ -93,6 +93,9 @@ instance Monad (GComparing a b) where
     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