diff --git a/src/Language/Haskell/TH/Alpha.hs b/src/Language/Haskell/TH/Alpha.hs
--- a/src/Language/Haskell/TH/Alpha.hs
+++ b/src/Language/Haskell/TH/Alpha.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE
-      FunctionalDependencies
+      CPP
+    , FunctionalDependencies
     , GeneralizedNewtypeDeriving
     , RankNTypes
     , FlexibleContexts
@@ -39,7 +40,9 @@
     ) where
 
 import Language.Haskell.TH
+#if !MIN_VERSION_th_desugar(1,5,0)
 import Language.Haskell.TH.Syntax  (Quasi)
+#endif
 import Language.Haskell.TH.Desugar
 import Data.Function               (on)
 import Control.Monad.State
@@ -151,7 +154,12 @@
 --
 -- >>> areExpAEq [| let x = 5 in x |] [| let y = 5 in y |]
 -- True
-areExpAEq :: Quasi m
+areExpAEq ::
+#if MIN_VERSION_th_desugar(1,5,0)
+            DsMonad m
+#else
+            Quasi m
+#endif
          => ExpQ    -- ^ Quoted expression
          -> ExpQ    -- ^ Quoted expression
          -> m Bool
@@ -168,7 +176,15 @@
 {--- | Compare two expressions for alpha-equivalence. Since this uses-}
 {--- th-desugar to desugar the expressions, returns a Bool in the Quasi-}
 {--- context.-}
-expEqual :: Quasi m => Exp -> Exp -> m Bool
+expEqual ::
+#if MIN_VERSION_th_desugar(1,5,0)
+            DsMonad m
+#else
+            Quasi m
+#endif
+         => Exp
+         -> Exp
+         -> m Bool
 expEqual t1 t2 = do
     t1' <- dsExp t1
     t2' <- dsExp t2
diff --git a/th-alpha.cabal b/th-alpha.cabal
--- a/th-alpha.cabal
+++ b/th-alpha.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                th-alpha
-version:             0.2.0.1
+version:             0.2.0.2
 synopsis:            Alpha equivalence for TH Exp
 description:
     Compare TH expressions (or clauses, patterns, etc.) for alpha equivalence.
@@ -37,7 +37,7 @@
   build-depends:       base >=4 && <5
                      , template-haskell
                      , containers
-                     , th-desugar >= 1.4 && < 1.5
+                     , th-desugar >= 1.4 && < 1.6
                      , mtl >=2 && <3
                      , transformers
                      , mmorph > 1 && < 2