diff --git a/djinn-ghc.cabal b/djinn-ghc.cabal
--- a/djinn-ghc.cabal
+++ b/djinn-ghc.cabal
@@ -1,5 +1,5 @@
 name:           djinn-ghc
-version:        0.0.2.2
+version:        0.0.2.3
 synopsis:       Generate Haskell code from a type. Bridge from Djinn to GHC API.
 description:    Djinn uses an theorem prover for intuitionistic propositional logic
                 to generate a Haskell expression when given a type.
@@ -19,6 +19,6 @@
                     ghc,
                     containers,
                     transformers,
-                    djinn-lib >= 0.0.1.1,
+                    djinn-lib >= 0.0.1.2,
                     async
   hs-source-dirs:   src
diff --git a/src/Djinn/GHC.hs b/src/Djinn/GHC.hs
--- a/src/Djinn/GHC.hs
+++ b/src/Djinn/GHC.hs
@@ -64,7 +64,11 @@
       let dtypesT = map fst dtypes
           dtypesE = concatMap snd dtypes
       return $ (tyconName, (varsH, D.HTUnion dtypesT, NoExtraInfo)) : concat dtypesE
+#if __GLASGOW_HASKELL__ >= 710
+    Just (G.ATyCon tycon) | G.isTypeSynonymTyCon tycon -> do
+#else
     Just (G.ATyCon tycon) | G.isSynTyCon tycon -> do
+#endif
       -- Get information for this type synonym
       let tyconName = toHSymbol $ G.tyConName tycon
 #if __GLASGOW_HASKELL__ >= 708