diff --git a/open-typerep.cabal b/open-typerep.cabal
--- a/open-typerep.cabal
+++ b/open-typerep.cabal
@@ -1,5 +1,5 @@
 name:                open-typerep
-version:             0.3.1
+version:             0.3.2
 synopsis:            Open type representations and dynamic types
 description:         This package uses Data Types à la Carte to provide open type representations
                      and dynamic types/coercions for open type universes.
@@ -62,7 +62,7 @@
     base        >=4 && <5,
     constraints >=0.3,
     mtl         >=2.1,
-    syntactic   >=2.0,
+    syntactic   >=3,
     tagged      >=0.4
 
   default-language: Haskell2010
diff --git a/src/Data/TypeRep.hs b/src/Data/TypeRep.hs
--- a/src/Data/TypeRep.hs
+++ b/src/Data/TypeRep.hs
@@ -4,7 +4,7 @@
     ( -- * Helper types
       module Data.Constraint
     , module Data.Proxy
-    , module Data.Syntactic
+    , module Language.Syntactic
       -- * Type representations
     , Typeable
     , TypeRep
@@ -55,7 +55,7 @@
 import Data.Constraint (Dict (..))
 import Data.Proxy (Proxy (..))
 
-import Data.Syntactic ((:+:), Project (..), (:<:) (..), E (..))
+import Language.Syntactic ((:+:), Project (..), (:<:) (..), E (..))
 
 import Data.TypeRep.Internal
 import Data.TypeRep.Sub
diff --git a/src/Data/TypeRep/Internal.hs b/src/Data/TypeRep/Internal.hs
--- a/src/Data/TypeRep/Internal.hs
+++ b/src/Data/TypeRep/Internal.hs
@@ -12,7 +12,7 @@
 import Data.Constraint (Constraint, Dict (..))
 import Data.Proxy (Proxy (..))
 
-import Data.Syntactic
+import Language.Syntactic
 
 
 
diff --git a/src/Data/TypeRep/Sub.hs b/src/Data/TypeRep/Sub.hs
--- a/src/Data/TypeRep/Sub.hs
+++ b/src/Data/TypeRep/Sub.hs
@@ -19,7 +19,7 @@
 
 
 
-import Data.Syntactic
+import Language.Syntactic
 
 import Data.TypeRep.Internal
 
diff --git a/src/Data/TypeRep/VarArg.hs b/src/Data/TypeRep/VarArg.hs
--- a/src/Data/TypeRep/VarArg.hs
+++ b/src/Data/TypeRep/VarArg.hs
@@ -6,7 +6,7 @@
 
 import Control.Monad.Except
 
-import Data.Syntactic
+import Language.Syntactic
 import Data.TypeRep
 import Data.TypeRep.Internal