diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,9 @@
 # Changelog for lift-typeable
 
-## Unreleased changes
+## 0.1.0.1
+
+- Support GHC 8.2.2, which evidently required `TypeInType` for the `forall k (a :: k)` signature.
+
+## 0.1.0.0
+
+- Initial release
diff --git a/lift-type.cabal b/lift-type.cabal
--- a/lift-type.cabal
+++ b/lift-type.cabal
@@ -1,7 +1,8 @@
 cabal-version: 1.12
 name:           lift-type
-version:        0.1.0.0
-description:    Please see the README on GitHub at <https://github.com/githubuser/lift-type#readme>
+version:        0.1.0.1
+description:    Lift your types from a Typeable constraint to a Template Haskell type
+synopsis:       Lift a type from a Typeable constraint to a Template Haskell type
 homepage:       https://github.com/parsonsmatt/lift-type#readme
 bug-reports:    https://github.com/parsonsmatt/lift-type/issues
 author:         Matt Parsons
@@ -24,7 +25,7 @@
   hs-source-dirs:
       src
   build-depends:
-      base >=4.7 && <5
+      base >=4.10 && <5
     , template-haskell
   default-language: Haskell2010
 
diff --git a/src/LiftType.hs b/src/LiftType.hs
--- a/src/LiftType.hs
+++ b/src/LiftType.hs
@@ -1,4 +1,4 @@
-{-# language ScopedTypeVariables, AllowAmbiguousTypes, TypeApplications, PolyKinds, TemplateHaskell #-}
+{-# language TypeInType, ScopedTypeVariables, AllowAmbiguousTypes, TypeApplications, PolyKinds, TemplateHaskell #-}
 
 -- | Template Haskell has a class 'Lift' that allows you to promote values
 -- from Haskell-land into the land of metaprogramming - 'Q'.