diff --git a/ats-pkg.cabal b/ats-pkg.cabal
--- a/ats-pkg.cabal
+++ b/ats-pkg.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.0
 name: ats-pkg
-version: 3.2.5.13
+version: 3.2.5.16
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018-2019 Vanessa McHale
@@ -118,7 +118,7 @@
         directory >=1.2.3.0,
         filepath -any,
         microlens -any,
-        dhall -any,
+        dhall >=1.23.0,
         ansi-wl-pprint -any,
         shake >=0.17,
         bytestring -any,
diff --git a/dhall/atslib.dhall b/dhall/atslib.dhall
--- a/dhall/atslib.dhall
+++ b/dhall/atslib.dhall
@@ -5,7 +5,7 @@
 in
 
 {- ATSPackage parts -}
-let prelude = http://hackage.haskell.org/package/ats-pkg/src/dhall/atspkg-prelude.dhall
+let prelude = https://raw.githubusercontent.com/vmchale/atspkg/master/ats-pkg/dhall/atspkg-prelude.dhall
 in
 
 {- Helper functions -}
diff --git a/dhall/atspkg-prelude.dhall b/dhall/atspkg-prelude.dhall
--- a/dhall/atspkg-prelude.dhall
+++ b/dhall/atspkg-prelude.dhall
@@ -74,7 +74,7 @@
 
 let script =
   λ(x : {dir : Text, target : Optional Text}) →
-    { configure = [ "./configure --prefix=${x.dir}" ] : Optional Text, build = "make -j6", install = "make install" } : Script
+    { configure = Some "./configure --prefix=${x.dir}", build = "make -j6", install = "make install" } : Script
 in
 
 let src =
@@ -104,25 +104,22 @@
   λ(x : List Natural) → concatMapSep "." Natural Natural/show x
 in
 
-let none = [] : Optional (List Natural)
+let none = None (List Natural)
 in
 let plainDeps = λ(x : Text) → { _1 = x, _2 = { lower = none, upper = none } }
 in
 
 let eqDeps = λ(x : { name : Text, version : List Natural }) →
     { _1 = x.name
-    , _2 = { lower = [ x.version ]
-             : Optional (List Natural)
-           , upper = [ x.version ]
-             : Optional (List Natural)
+    , _2 = { lower = Some x.version
+           , upper = Some x.version
            }
     }
 in
 
 let lowerDeps = λ(x : { name : Text, version : List Natural }) →
     { _1 = x.name
-    , _2 = { lower = [ x.version ]
-             : Optional (List Natural)
+    , _2 = { lower = Some x.version
            , upper = none
            }
     }
@@ -131,8 +128,7 @@
 let upperDeps = λ(x : { name : Text, version : List Natural }) →
     { _1 = x.name
     , _2 = { lower = none
-           , upper = [ x.version ]
-             : Optional (List Natural)
+           , upper = Some x.version
            }
     }
 in
@@ -150,8 +146,7 @@
     : List LibDep
   , libCDeps = []
     : List LibDep
-  , description = []
-    : Optional Text
+  , description = None Text
   , script = []
     : List Text
   }
@@ -197,8 +192,8 @@
       : List Bin
     , libraries = []
       : List Lib
-    , man = ([] : Optional Text)
-    , completions = ([] : Optional Text)
+    , man = None Text
+    , completions = None Text
     , version = [0,3,13]
     , compiler = [0,3,13]
     , dependencies = []
@@ -215,8 +210,7 @@
       : List Src
     , dynLink = True
     , extSolve = solver
-    , debPkg = []
-      : Optional Debian
+    , debPkg = None Debian
     , atsLib = True
     }
 in
@@ -225,8 +219,7 @@
   λ(project : Text) →
   { package = project
   , target = "target/${project}.deb"
-  , manpage = []
-    : Optional Text
+  , manpage = None Text
   , binaries = []
     : List Text
   , libraries = []
@@ -270,7 +263,7 @@
 let makePkgDescr =
   λ(x : { x : List Natural, name : Text, githubUsername : Text, description : Text }) →
     makePkg { x = x.x, name = x.name, githubUsername = x.githubUsername }
-      ⫽ { description = [ x.description ] : Optional Text }
+      ⫽ { description = Some (x.description) }
 in
 
 let cabalDir = "dist-newstyle/lib"
@@ -291,7 +284,7 @@
 
 let mkDeb =
   λ(deb : Debian) →
-    [ deb ] : Optional Debian
+    Some deb
 in
 
 let noPrelude =
diff --git a/man/atspkg.1 b/man/atspkg.1
--- a/man/atspkg.1
+++ b/man/atspkg.1
@@ -1,4 +1,4 @@
-.\" Automatically generated by Pandoc 2.7.1
+.\" Automatically generated by Pandoc 2.7.2
 .\"
 .TH "atspkg (1)" "" "" "" ""
 .hy