diff --git a/src/Language/Haskell/TH/Instances.hs b/src/Language/Haskell/TH/Instances.hs
--- a/src/Language/Haskell/TH/Instances.hs
+++ b/src/Language/Haskell/TH/Instances.hs
@@ -13,6 +13,7 @@
 {-# LANGUAGE DeriveGeneric #-}
 #endif
 
+{-# OPTIONS_GHC -fno-warn-deprecations #-}
 {-# OPTIONS_GHC -fno-warn-orphans #-}
 
 -- |
@@ -34,6 +35,9 @@
 --
 --   * 'Quasi' for 'ReaderT', 'WriterT', 'StateT', and 'RWST'.
 --
+--   * 'Typeable' for 'Lift', 'NameIs', 'Ppr', 'PprM', 'Q', 'Quasi',
+--   'QuasiQuoter', and 'TExp'
+--
 -- More recent versions of template-haskell, particularly 2.10 (GHC
 -- 7.10), provide these instances.  However, in order to support older
 -- versions you should import this module.
@@ -65,6 +69,7 @@
 import Language.Haskell.TH.Ppr
 # if MIN_VERSION_template_haskell(2,3,0)
 import Language.Haskell.TH.PprLib
+import Language.Haskell.TH.Quote
 # endif
 # if MIN_VERSION_template_haskell(2,4,0) && !(MIN_VERSION_template_haskell(2,8,0))
 import Language.Haskell.TH.Syntax.Internals
@@ -82,7 +87,7 @@
 # endif
 
 # if MIN_VERSION_template_haskell(2,3,0) && defined(LANGUAGE_DeriveDataTypeable)
-import Data.Data (Data, Typeable)
+import Data.Data hiding (Fixity(..))
 # endif
 
 # if defined(LANGUAGE_DeriveGeneric)
@@ -162,6 +167,12 @@
 deriving instance Ord Strict
 deriving instance Ord Type
 
+# if defined(LANGUAGE_DeriveDataTypeable)
+deriving instance Typeable  NameIs
+deriving instance Typeable1 PprM
+deriving instance Typeable1 Q
+# endif
+
 # if defined(LANGUAGE_DeriveGeneric)
 deriving instance Generic Body
 deriving instance Generic Callconv
@@ -205,6 +216,8 @@
 #  if defined(LANGUAGE_DeriveDataTypeable)
 deriving instance Data Loc
 deriving instance Typeable Loc
+
+deriving instance Typeable QuasiQuoter
 #  endif
 
 #  if defined(LANGUAGE_DeriveGeneric)
@@ -279,6 +292,10 @@
 deriving instance Ord Role
 deriving instance Ord TySynEqn
 
+#  if defined(LANGUAGE_DeriveDataTypeable)
+deriving instance Typeable TExp
+#  endif
+
 #  if defined(LANGUAGE_DeriveGeneric)
 deriving instance Generic AnnLookup
 deriving instance Generic AnnTarget
@@ -387,6 +404,12 @@
   qGetQ             = MTL.lift qGetQ
   qPutQ             = MTL.lift . qPutQ
 #endif
+#endif
+
+#if MIN_VERSION_base(4,7,0) && defined(LANGUAGE_DeriveDataTypeable) && __GLASGOW_HASKELL__ < 710
+deriving instance Typeable Lift
+deriving instance Typeable Ppr
+deriving instance Typeable Quasi
 #endif
 
 $(reifyManyWithoutInstances ''Lift [''Info, ''Loc] (const True) >>=
diff --git a/th-orphans.cabal b/th-orphans.cabal
--- a/th-orphans.cabal
+++ b/th-orphans.cabal
@@ -1,5 +1,5 @@
 name:               th-orphans
-version:            0.11.1
+version:            0.12.0
 cabal-version:      >= 1.10
 build-type:         Simple
 license:            BSD3
@@ -10,7 +10,7 @@
 maintainer:         Michael Sloan <mgsloan at gmail>
 bug-reports:        https://github.com/mgsloan/th-orphans/issues
 stability:          experimental
-tested-with:        GHC == 7.4.2, GHC == 7.6.1, GHC == 7.8
+tested-with:        GHC == 7.0.1, GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.3, GHC == 7.10.1
 synopsis:           Orphan instances for TH datatypes
 description:        Orphan instances for TH datatypes.  In particular, instances
                     for Ord and Lift, as well as a few missing Show / Eq.  These