diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,20 @@
+Copyright (c) 2015 HirotomoMoriwaki
+
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be included
+in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,2 @@
+import Distribution.Simple
+main = defaultMain
diff --git a/src/Data/Proxy/Compat.hs b/src/Data/Proxy/Compat.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Proxy/Compat.hs
@@ -0,0 +1,5 @@
+module Data.Proxy.Compat
+    ( Proxy(..), asProxyTypeOf
+    ) where
+
+import Data.Proxy
diff --git a/src/Data/Typeable/Compat.hs b/src/Data/Typeable/Compat.hs
new file mode 100644
--- /dev/null
+++ b/src/Data/Typeable/Compat.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE CPP #-}
+
+module Data.Typeable.Compat
+    ( Typeable, typeOf
+    , cast, gcast
+    , TypeRep, showsTypeRep
+    , TyCon, tyConString, tyConPackage, tyConModule, tyConName
+    , mkTyCon3, mkTyConApp, mkAppTy, mkFunTy
+    , splitTyConApp, funResultTy, typeRepTyCon, typeRepArgs
+    , typeRep
+    , Proxy(..)
+    ) where
+
+import Data.Typeable
+
+#if !MIN_VERSION_base(4,7,0)
+import Data.Proxy.Compat
+
+typeRep :: forall proxy a. Typeable a => proxy a -> TypeRep
+typeRep _ = typeOf (undefined :: a)
+#endif
diff --git a/src/GHC/TypeLits/Compat.hs b/src/GHC/TypeLits/Compat.hs
new file mode 100644
--- /dev/null
+++ b/src/GHC/TypeLits/Compat.hs
@@ -0,0 +1,48 @@
+{-# LANGUAGE ExistentialQuantification #-}
+{-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE ExplicitNamespaces #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE PolyKinds #-}
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE CPP #-}
+
+module GHC.TypeLits.Compat
+    ( -- * Kinds
+      Nat, Symbol
+      -- * Linking type and value level
+    , KnownNat, natVal
+    , KnownSymbol, symbolVal
+    , type (<=)
+    , type (<=?)
+    , type (+)
+    , type (*)
+    , type (^)
+    ) where
+
+import GHC.TypeLits
+
+#if __GLASGOW_HASKELL__ < 707
+data Proxy k = Proxy
+
+class SingI n => KnownNat (n :: Nat) where
+    natSing :: Sing n
+
+instance SingRep n Integer => KnownNat n where
+    natSing = sing
+
+natVal :: forall n proxy. KnownNat n => proxy n -> Integer
+natVal _ = fromSing (natSing :: Sing n)
+
+class SingI n => KnownSymbol (n :: Symbol) where
+    symbolSing :: Sing n
+
+instance SingRep n String => KnownSymbol n where
+    symbolSing = sing
+
+symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String
+symbolVal _ = fromSing (symbolSing :: Sing n)
+#endif
diff --git a/types-compat.cabal b/types-compat.cabal
new file mode 100644
--- /dev/null
+++ b/types-compat.cabal
@@ -0,0 +1,24 @@
+name:                types-compat
+version:             0.1.0
+synopsis:            ghc-7.6/7.8 compatible GHC.TypeLits, Data.Typeable and Data.Proxy.
+license:             MIT
+license-file:        LICENSE
+author:              HirotomoMoriwaki<philopon.dependence@gmail.com>
+maintainer:          HirotomoMoriwaki<philopon.dependence@gmail.com>
+Homepage:            https://github.com/philopon/apiary
+Bug-reports:         https://github.com/philopon/apiary/issues
+copyright:           (c) 2015 Hirotomo Moriwaki
+category:            Compatibility
+build-type:          Simple
+cabal-version:       >=1.10
+
+library
+  exposed-modules:     GHC.TypeLits.Compat
+                       Data.Typeable.Compat
+                       Data.Proxy.Compat
+  build-depends:       base >=4.6 && <4.8
+  if impl(ghc < 7.8)
+    build-depends:     tagged >= 0.7 && <0.8
+  hs-source-dirs:      src
+  ghc-options:         -Wall -O2
+  default-language:    Haskell2010