diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,13 @@
 <!-- -*- Markdown -*- -->
 
+## 0.8.2.2
+
+- Update for GHC 8.
+
+## 0.8.2.1
+
+- Fix constraint of build-depends.
+
 ## 0.8.2.0
 
 - Add TIMESTAMPTZ literal of PostgreSQL.
diff --git a/relational-query.cabal b/relational-query.cabal
--- a/relational-query.cabal
+++ b/relational-query.cabal
@@ -1,5 +1,5 @@
 name:                relational-query
-version:             0.8.2.1
+version:             0.8.2.2
 synopsis:            Typeful, Modular, Relational, algebraic query engine
 description:         This package contiains typeful relation structure and
                      relational-algebraic query building DSL which can
@@ -14,7 +14,7 @@
 license-file:        LICENSE
 author:              Kei Hibino
 maintainer:          ex8k.hibino@gmail.com
-copyright:           Copyright (c) 2013 Kei Hibino
+copyright:           Copyright (c) 2013-2016 Kei Hibino
 category:            Database
 build-type:          Simple
 cabal-version:       >=1.10
@@ -76,6 +76,7 @@
                        , text
                        , dlist
                        , template-haskell
+                       , th-reify-compat
                        , sql-words >=0.1.4
                        , names-th
                        , persistable-record >= 0.3
diff --git a/src/Database/Relational/Query/Relation.hs b/src/Database/Relational/Query/Relation.hs
--- a/src/Database/Relational/Query/Relation.hs
+++ b/src/Database/Relational/Query/Relation.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE FlexibleContexts #-}
+{-# OPTIONS_GHC -fsimpl-tick-factor=200 #-}
 
 -- |
 -- Module      : Database.Relational.Query.Relation
diff --git a/src/Database/Relational/Query/TH.hs b/src/Database/Relational/Query/TH.hs
--- a/src/Database/Relational/Query/TH.hs
+++ b/src/Database/Relational/Query/TH.hs
@@ -6,7 +6,7 @@
 
 -- |
 -- Module      : Database.Relational.Query.TH
--- Copyright   : 2013 Kei Hibino
+-- Copyright   : 2013-2016 Kei Hibino
 -- License     : BSD3
 --
 -- Maintainer  : ex8k.hibino@gmail.com
@@ -72,8 +72,9 @@
 import Data.Array.IArray ((!))
 
 import Language.Haskell.TH
-  (Name, nameBase, Q, reify, Info (VarI), TypeQ, Type (AppT, ConT), ExpQ,
+  (Name, nameBase, Q, reify, TypeQ, Type (AppT, ConT), ExpQ,
    tupleT, appT, arrowT, Dec, stringE, listE)
+import Language.Haskell.TH.Compat.Reify (unVarI)
 import Language.Haskell.TH.Name.CamelCase
   (VarName, varName, ConName (ConName), conName, varNameWithPrefix, varCamelcaseName, toVarExp, toTypeCon, toDataCon)
 import Language.Haskell.TH.Lib.Extra (simpleValD, maybeD, integralE)
@@ -487,8 +488,8 @@
               -> Q (Type, Type) -- ^ Extracted param type and result type from Relation type
 reifyRelation relVar = do
   relInfo <- reify relVar
-  case relInfo of
-    VarI _ (AppT (AppT (ConT prn) p) r) _ _
+  case unVarI relInfo of
+    Just (_, (AppT (AppT (ConT prn) p) r), _)
       | prn == ''Relation    ->  return (p, r)
     _                        ->
       fail $ "expandRelation: Variable must have Relation type: " ++ show relVar