diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,9 @@
 # Revision history for expressions-z3
 
+## 0.3
+
+* Bump dependencies
+
 ## 0.2
 
 * Bump dependencies
diff --git a/expressions-z3.cabal b/expressions-z3.cabal
--- a/expressions-z3.cabal
+++ b/expressions-z3.cabal
@@ -1,5 +1,5 @@
 name:                expressions-z3
-version:             0.2
+version:             0.3
 synopsis:            Encode and Decode expressions from Z3 ASTs
 description:
   A simple interface for converting expressions back and forth between pure
@@ -62,10 +62,10 @@
 
 library
   exposed-modules:     Data.Expression.Z3
-  build-depends:       base >=4.9 && <4.12,
+  build-depends:       base >=4.9 && <4.13,
                        containers >=0.5 && <0.7,
-                       expressions >=0.1.7 && <0.3,
-                       singletons >=2.2 && <2.5,
+                       expressions >=0.1.7 && <0.4,
+                       singletons >=2.2 && <2.6,
                        transformers >=0.5.2 && <0.6,
                        list-t >=1.0 && <1.1,
                        z3 >=4.1.2 && <4.4
diff --git a/src/Data/Expression/Z3.hs b/src/Data/Expression/Z3.hs
--- a/src/Data/Expression/Z3.hs
+++ b/src/Data/Expression/Z3.hs
@@ -147,7 +147,7 @@
     ifromZ3App _ _ name app = do
         guard . null =<< Z3.getAppArgs app
         DynamicSort s <- sortFromZ3 =<< Z3.getSort =<< Z3.appToAst app
-        return $ DynamicallySorted s (inject (Var name s))
+        return $ dynvar name s
 
 instance IFromZ3 ConjunctionF
 instance ConjunctionF :<: g => IFromZ3Into ConjunctionF g where