diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for th-abstraction
 
+## 0.3.1.0 -- 2019-04-28
+* Fix a bug which would cause data family information to be reified incorrectly
+  with GHC 8.8+ in some situations.
+
 ## 0.3.0.0 -- 2019-04-26
 * Breaking change: the `datatypeVars` field of `DatatypeInfo` is now of type
   `[TyVarBndr]` instead of `[Type]`, as it now refers to all of the bound type
diff --git a/src/Language/Haskell/TH/Datatype.hs b/src/Language/Haskell/TH/Datatype.hs
--- a/src/Language/Haskell/TH/Datatype.hs
+++ b/src/Language/Haskell/TH/Datatype.hs
@@ -566,14 +566,14 @@
       , NewtypeInstD cx mbInstVars nts k c deriv <- instD
       , con :| ts <- decomposeType nts
       = NewtypeInstD cx mbInstVars
-          (foldl' AppT con (repairVarKindsWith (fromMaybe dvars mbInstVars) ts))
+          (foldl' AppT con (repairVarKindsWith dvars ts))
           k c deriv
 
       | DataFamilyD _ dvars _ <- famD
       , DataInstD cx mbInstVars nts k c deriv <- instD
       , con :| ts <- decomposeType nts
       = DataInstD cx mbInstVars
-          (foldl' AppT con (repairVarKindsWith (fromMaybe dvars mbInstVars) ts))
+          (foldl' AppT con (repairVarKindsWith dvars ts))
           k c deriv
 # elif MIN_VERSION_template_haskell(2,11,0)
       | DataFamilyD _ dvars _ <- famD
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -72,6 +72,7 @@
      famLocalDecTest2
      recordFamTest
      t46Test
+     t73Test
 #endif
      fixityLookupTest
 #if __GLASGOW_HASKELL__ >= 704
@@ -648,6 +649,30 @@
            unless (null ctxt) (fail "regression test for ticket #46 failed")
          _ -> fail "T46 should have exactly one constructor"
        [| return () |])
+
+t73Test :: IO ()
+t73Test =
+  $(do info <- reifyDatatype 'MkT73
+       let b    = mkName "b"
+           bTvb = KindedTV b starK
+           bVar = VarT b
+       validateDI info
+         DatatypeInfo
+           { datatypeName      = ''T73
+           , datatypeContext   = []
+           , datatypeVars      = [bTvb]
+           , datatypeInstTypes = [ConT ''Int, SigT bVar starK]
+           , datatypeVariant   = DataInstance
+           , datatypeCons      =
+               [ ConstructorInfo
+                   { constructorName       = 'MkT73
+                   , constructorVars       = []
+                   , constructorContext    = []
+                   , constructorFields     = [bVar]
+                   , constructorStrictness = [notStrictAnnot]
+                   , constructorVariant    = NormalConstructor }]
+           }
+   )
 #endif
 
 fixityLookupTest :: IO ()
diff --git a/test/Types.hs b/test/Types.hs
--- a/test/Types.hs
+++ b/test/Types.hs
@@ -108,6 +108,9 @@
 
 data family   T46 a b c
 data instance T46 (f (p :: *)) (f p) q = MkT46 q
+
+data family   T73 a   b
+data instance T73 Int b = MkT73 b
 #endif
 
 #if __GLASGOW_HASKELL__ >= 704
diff --git a/th-abstraction.cabal b/th-abstraction.cabal
--- a/th-abstraction.cabal
+++ b/th-abstraction.cabal
@@ -1,5 +1,5 @@
 name:                th-abstraction
-version:             0.3.0.0
+version:             0.3.1.0
 synopsis:            Nicer interface for reified information about data types
 description:         This package normalizes variations in the interface for
                      inspecting datatype information via Template Haskell