diff --git a/dhall-nix.cabal b/dhall-nix.cabal
--- a/dhall-nix.cabal
+++ b/dhall-nix.cabal
@@ -1,5 +1,5 @@
 Name: dhall-nix
-Version: 1.1.20
+Version: 1.1.21
 Cabal-Version: >=1.10
 Build-Type: Simple
 Tested-With: GHC == 8.0.1
@@ -30,8 +30,8 @@
         base                      >= 4.11.0.0 && < 5   ,
         containers                               < 0.7 ,
         data-fix                                 < 0.4 ,
-        dhall                     >= 1.36     && < 1.39,
-        hnix                      >= 0.7      && < 0.13,
+        dhall                     >= 1.39     && < 1.40,
+        hnix                      >= 0.7      && < 0.14,
         lens-family-core          >= 1.0.0    && < 2.2 ,
         neat-interpolation                       < 0.6 ,
         text                      >= 0.8.0.0  && < 1.3
diff --git a/src/Dhall/Nix.hs b/src/Dhall/Nix.hs
--- a/src/Dhall/Nix.hs
+++ b/src/Dhall/Nix.hs
@@ -642,7 +642,7 @@
         Left CannotProjectByType
     loop (Assert _) =
         return untranslatable
-    loop (Equivalent _ _) =
+    loop (Equivalent _ _ _) =
         return untranslatable
     loop a@With{} =
         loop (Dhall.Core.desugarWith a)