diff --git a/dhall-bash.cabal b/dhall-bash.cabal
--- a/dhall-bash.cabal
+++ b/dhall-bash.cabal
@@ -1,5 +1,5 @@
 Name: dhall-bash
-Version: 1.0.22
+Version: 1.0.23
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1
@@ -31,7 +31,7 @@
         base                      >= 4.8.0.0 && < 5   ,
         bytestring                              < 0.11,
         containers                              < 0.7 ,
-        dhall                     >= 1.25.0  && < 1.26,
+        dhall                     >= 1.26.0  && < 1.27,
         neat-interpolation                      < 0.4 ,
         shell-escape                            < 0.3 ,
         text                      >= 0.2     && < 1.3
diff --git a/src/Dhall/Bash.hs b/src/Dhall/Bash.hs
--- a/src/Dhall/Bash.hs
+++ b/src/Dhall/Bash.hs
@@ -105,6 +105,7 @@
 import Data.ByteString
 import Data.Monoid ((<>))
 import Data.Typeable (Typeable)
+import Data.Void (absurd)
 import Dhall.Core (Expr(..), Chunks(..))
 import Dhall.TypeCheck
 
@@ -269,7 +270,7 @@
         let bytes = "declare -r " <> var <> "=" <> e
         return bytes
     go (Embed   x) = do
-        Dhall.TypeCheck.absurd x
+        absurd x
     go (Note  _ e) = do
         go e
 
@@ -296,6 +297,7 @@
     go e@(NaturalOdd      ) = Left (UnsupportedStatement e)
     go e@(NaturalToInteger) = Left (UnsupportedStatement e)
     go e@(NaturalShow     ) = Left (UnsupportedStatement e)
+    go e@(NaturalSubtract ) = Left (UnsupportedStatement e)
     go e@(NaturalPlus   {}) = Left (UnsupportedStatement e)
     go e@(NaturalTimes  {}) = Left (UnsupportedStatement e)
     go e@(Integer         ) = Left (UnsupportedStatement e)
@@ -322,7 +324,6 @@
     go e@(OptionalBuild   ) = Left (UnsupportedStatement e)
     go e@(Record        {}) = Left (UnsupportedStatement e)
     go e@(Union         {}) = Left (UnsupportedStatement e)
-    go e@(UnionLit      {}) = Left (UnsupportedStatement e)
     go e@(Combine       {}) = Left (UnsupportedStatement e)
     go e@(CombineTypes  {}) = Left (UnsupportedStatement e)
     go e@(Prefer        {}) = Left (UnsupportedStatement e)
@@ -330,6 +331,8 @@
     go e@(ToMap         {}) = Left (UnsupportedStatement e)
     go e@(Field         {}) = Left (UnsupportedStatement e)
     go e@(Project       {}) = Left (UnsupportedStatement e)
+    go e@(Assert        {}) = Left (UnsupportedStatement e)
+    go e@(Equivalent    {}) = Left (UnsupportedStatement e)
     go e@(ImportAlt     {}) = Left (UnsupportedStatement e)
 
 {-| Compile a Dhall expression to a Bash expression