diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,5 +1,9 @@
 CHANGELOG
 
+2.0.0.5 to 2.0.1
+
+ - Widened TH dependencies.
+
 2.0.0.4 -> 2.0.0.5
   - Add Bug-Reports url again.
 
diff --git a/fclabels.cabal b/fclabels.cabal
--- a/fclabels.cabal
+++ b/fclabels.cabal
@@ -1,5 +1,5 @@
 Name:          fclabels
-Version:       2.0.0.5
+Version:       2.0.1
 Author:        Sebastiaan Visser, Erik Hesselink, Chris Eidhof, Sjoerd Visscher
                with lots of help and feedback from others.
 Synopsis:      First class accessor labels implemented as lenses.
@@ -47,9 +47,9 @@
                See "Data.Label.Base" and "Data.Label.Monadic" for more
                information.
                .
-               * /Changelog from 2.0.0.4 to 2.0.0.5/
+               * /Changelog from 2.0.0.5 to 2.0.1/
                .
-               >   - Add Bug-Reports url again.
+               >   - Widened TH dependencies.
 
 Maintainer:         Sebastiaan Visser <code@fvisser.nl>
 Homepage:           https://github.com/sebastiaanvisser/fclabels
@@ -79,7 +79,7 @@
   GHC-Options: -Wall
   Build-Depends:
       base                       < 5
-    , template-haskell >= 2.2 && < 2.9
+    , template-haskell >= 2.2 && < 2.10
     , mtl              >= 1.0 && < 2.2
     , transformers     >= 0.2 && < 0.4
 
diff --git a/src/Data/Label/Derive.hs b/src/Data/Label/Derive.hs
--- a/src/Data/Label/Derive.hs
+++ b/src/Data/Label/Derive.hs
@@ -355,7 +355,7 @@
 
   do let total = length contexts == length (prune contexts allCons)
 
-     (Typing mono tyI tyO vars)
+     (Typing mono tyI tyO _)
         <- computeTypes forcedMono fieldtype datatype dtVars subst
 
      let cat     = varT (mkName "cat")