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.14
+Version: 1.1.15
 Cabal-Version: >=1.10
 Build-Type: Simple
 Tested-With: GHC == 8.0.1
@@ -30,8 +30,8 @@
         base                      >= 4.8.0.0 && < 5   ,
         containers                              < 0.7 ,
         data-fix                                < 0.3 ,
-        dhall                     >= 1.31    && < 1.33,
-        hnix                      >= 0.7     && < 0.8 ,
+        dhall                     >= 1.31    && < 1.34,
+        hnix                      >= 0.7     && < 0.10,
         lens-family-core          >= 1.0.0   && < 2.2 ,
         neat-interpolation                      < 0.6 ,
         text                      >= 0.8.0.0 && < 1.3
@@ -54,7 +54,7 @@
         dhall                               ,
         dhall-nix                           ,
         hnix                                ,
-        optparse-generic >= 1.1.1   && < 1.4,
+        optparse-generic >= 1.1.1   && < 1.5,
         text
     GHC-Options: -Wall
     Default-Language: Haskell2010
diff --git a/src/Dhall/Nix.hs b/src/Dhall/Nix.hs
--- a/src/Dhall/Nix.hs
+++ b/src/Dhall/Nix.hs
@@ -101,7 +101,6 @@
 import Dhall.Core
     ( Binding(..)
     , Chunks(..)
-    , Const(..)
     , DhallDouble(..)
     , Expr(..)
     , MultiLet(..)
@@ -524,19 +523,6 @@
     loop Optional = return (Fix (NAbs "t" untranslatable))
     loop (Some a) = loop a
     loop None = return (Fix (NConstant NNull))
-    loop OptionalFold = do
-        let e0 = Fix (NBinary NEq "x" (Fix (NConstant NNull)))
-        let e1 = Fix (NIf e0 "nothing" (Fix (NBinary NApp "just" "x")))
-        let e2 = Fix (NAbs "t" (Fix (NAbs "just" (Fix (NAbs "nothing" e1)))))
-        return (Fix (NAbs "t" (Fix (NAbs "x" e2))))
-    loop OptionalBuild = do
-        let e0 = Pi "nothing" "optional" "optional"
-        let e1 = Pi "just" (Pi "_" "a" "optional") e0
-        let e2 = Pi "optional" (Const Type) e1
-        let e3 = App None "a"
-        let e4 = Lam "x" "a" (Some "x")
-        let e5 = App (App (App "f" (App Optional "a")) e4) e3
-        loop (Lam "a" (Const Type) (Lam "f" e2 e5))
     loop (Record _) = return untranslatable
     loop (RecordLit a) = do
         a' <- traverse loop a