diff --git a/Unsafe/TrueName.hs b/Unsafe/TrueName.hs
index cea4dba..f9ff210 100644
--- a/Unsafe/TrueName.hs
+++ b/Unsafe/TrueName.hs
@@ -196,6 +196,15 @@ typNames typ = case typ of
 #if MIN_VERSION_template_haskell(2,16,0)
     ForallVisT _ t -> typNames t
 #endif
+
+#if MIN_VERSION_template_haskell(2,17,0)
+    MulArrowT -> []
+#endif
+
+#if MIN_VERSION_template_haskell(2,18,0)
+    PromotedInfixT s n t -> n : typNames s ++ typNames t
+    PromotedUInfixT s n t -> n : typNames s ++ typNames t
+#endif
 {- }}} -}
 
 infoNames :: Info -> [Name]{- {{{ -}
diff --git a/true-name.cabal b/true-name.cabal
index ea8d726..0e83394 100644
--- a/true-name.cabal
+++ b/true-name.cabal
@@ -1,3 +1,5 @@
+cabal-version:  >= 1.10
+
 name:           true-name
 version:        0.1.0.4
 synopsis:       Template Haskell hack to violate module abstractions
@@ -19,7 +21,6 @@ maintainer:     true-name@liyang.hu
 copyright:      © 2014−2021 Liyang HU
 category:       Data, Unsafe
 build-type:     Simple
-cabal-version:  >= 1.10
 stability:      experimental
 tested-with:
     GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3,
@@ -37,7 +38,7 @@ library
         Unsafe.TrueName
     build-depends:
         base >= 4.5 && < 5,
-        template-haskell >= 2.7
+        template-haskell >= 2.7 && < 2.19
     ghc-options: -Wall
 
 test-suite sanity