diff --git a/apiary-authenticate.cabal b/apiary-authenticate.cabal
--- a/apiary-authenticate.cabal
+++ b/apiary-authenticate.cabal
@@ -1,5 +1,5 @@
 name:                apiary-authenticate
-version:             1.3.0
+version:             1.4.0
 synopsis:            authenticate support for apiary web framework.
 description:
   example: <https://github.com/philopon/apiary/blob/master/examples/auth.hs>
@@ -20,8 +20,8 @@
   exposed-modules:     Web.Apiary.Authenticate
   other-modules:       Web.Apiary.Authenticate.Internal
   build-depends:       base                 >=4.6      && <4.8
-                     , apiary               >=1.3      && <1.4
-                     , apiary-session       >=1.3      && <1.4
+                     , apiary               >=1.4      && <1.5
+                     , apiary-session       >=1.4      && <1.5
                      , authenticate         >=1.3.2.10 && <1.4
                      , wai                  >=3.0      && <3.1
 
@@ -37,8 +37,9 @@
                      , http-types           >=0.8      && <0.9
 
                      , resourcet            >=1.1      && <1.2
-                     , blaze-builder        >=0.3      && <0.4
+                     , blaze-builder        >=0.3      && <0.5
                      , web-routing
+                     , types-compat
 
   hs-source-dirs:      src
   ghc-options:         -O2 -Wall
diff --git a/src/Web/Apiary/Authenticate.hs b/src/Web/Apiary/Authenticate.hs
--- a/src/Web/Apiary/Authenticate.hs
+++ b/src/Web/Apiary/Authenticate.hs
@@ -34,7 +34,7 @@
 import qualified Data.Text as T
 import qualified Data.ByteString as S
 
-import Data.Apiary.Compat
+import GHC.TypeLits.Compat(KnownSymbol)
 import Data.Apiary.Extension
 
 pOpenId :: Proxy I.OpenId
diff --git a/src/Web/Apiary/Authenticate/Internal.hs b/src/Web/Apiary/Authenticate/Internal.hs
--- a/src/Web/Apiary/Authenticate/Internal.hs
+++ b/src/Web/Apiary/Authenticate/Internal.hs
@@ -27,7 +27,8 @@
 import Web.Apiary.Session(Session, deleteSession, setSession)
 
 import Data.Apiary.Extension(Has, Extension)
-import Data.Apiary.Compat(Proxy(Proxy), Typeable)
+import Data.Proxy.Compat(Proxy(..))
+import Data.Typeable(Typeable)
 import Data.Apiary.Method(Method(GET))
 import qualified Network.Routing as R
 
