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.0.4
+Version: 1.0.5
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 8.0.1
@@ -30,7 +30,7 @@
         base               >= 4.8.0.0  && < 5   ,
         containers                        < 0.6 ,
         data-fix                          < 0.1 ,
-        dhall              >= 1.3.0    && < 1.5 ,
+        dhall              >= 1.5.0    && < 1.6 ,
         hnix               >= 0.3.4    && < 0.4 ,
         neat-interpolation                < 0.4 ,
         text               >= 0.8.0.0  && < 1.3 ,
@@ -44,7 +44,7 @@
     Main-Is: Main.hs
     Build-Depends:
         base             >= 4       && < 5  ,
-        dhall            >= 1.3.0   && < 1.5,
+        dhall            >= 1.5.0   && < 1.6,
         dhall-nix                           ,
         hnix             >= 0.3.4   && < 0.4,
         optparse-generic >= 1.1.1   && < 1.2,
diff --git a/src/Dhall/Nix.hs b/src/Dhall/Nix.hs
--- a/src/Dhall/Nix.hs
+++ b/src/Dhall/Nix.hs
@@ -323,6 +323,10 @@
         b' <- loop b
         return (Fix (NBinary NPlus a' b'))
     loop List = return (Fix (NAbs "t" (Fix (NSet []))))
+    loop (ListAppend a b) = do
+        a' <- loop a
+        b' <- loop b
+        return (Fix (NBinary NConcat a' b'))
     loop (ListLit _ bs) = do
         bs' <- mapM loop (toList bs)
         return (Fix (NList bs'))