diff --git a/conversions.cabal b/conversions.cabal
--- a/conversions.cabal
+++ b/conversions.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: af228e1e869b0fe72325cd5952e99544b520dbd169e234d7b914797a173c0792
+-- hash: bd35bcf565bdbc200e4e1a18af49642d117b808057edeafca2dec56e49f2804f
 
 name:           conversions
-version:        0.0.3
+version:        0.0.4
 synopsis:       Injective explicit total and partial conversions
 homepage:       https://github.com/mbj/conversions#readme
 bug-reports:    https://github.com/mbj/conversions/issues
@@ -39,13 +39,12 @@
       base >4.12 && <4.15
     , bytestring >=0.10 && <0.11
     , control-bool >=0.2 && <0.3
-    , devtools >=0.0.2 && <0.1
     , exceptions >=0.10 && <0.11
     , mtl >=2.2 && <2.3
-    , source-constraints >=0.0.1 && <0.1
-    , template-haskell >=2.15 && <2.16
+    , source-constraints >=0.0.2 && <0.1
+    , template-haskell >=2.15 && <2.16 || >=2.16 && <2.17
     , text >=1.2 && <1.3
-    , unliftio-core >=0.1 && <0.2
+    , unliftio-core >=0.2 && <0.3
   if flag(development)
     ghc-options: -Werror
   else
@@ -64,13 +63,13 @@
     , bytestring >=0.10 && <0.11
     , control-bool >=0.2 && <0.3
     , conversions
-    , devtools >=0.0.2 && <0.1
+    , devtools >=0.1.0 && <0.2
     , exceptions >=0.10 && <0.11
     , mtl >=2.2 && <2.3
-    , source-constraints >=0.0.1 && <0.1
-    , template-haskell >=2.15 && <2.16
+    , source-constraints >=0.0.2 && <0.1
+    , template-haskell >=2.15 && <2.16 || >=2.16 && <2.17
     , text >=1.2 && <1.3
-    , unliftio-core >=0.1 && <0.2
+    , unliftio-core >=0.2 && <0.3
   if flag(development)
     ghc-options: -Werror
   else
diff --git a/src/Data/Conversions.hs b/src/Data/Conversions.hs
--- a/src/Data/Conversions.hs
+++ b/src/Data/Conversions.hs
@@ -252,7 +252,7 @@
   => a
   -> TH.Q (TH.TExp b)
 mkTH input =
-  TH.TExp <$> either (fail . show) (TH.lift @b) (convertThrow @b @a @e input)
+  TH.TExp <$> either (fail . show) TH.lift (convertThrow @b @a @e input)
 
 toText :: ToText a => a -> Text
 toText = convert