diff --git a/atspkg.dhall b/atspkg.dhall
--- a/atspkg.dhall
+++ b/atspkg.dhall
@@ -42,7 +42,7 @@
     prelude.mapSrc
       (mapDatsSrc moduleNames)
   else
-    [] : List prelude.Src
+    prelude.emptySrc
 in
 
 let test = if withBench
@@ -55,7 +55,7 @@
       }
     ]
   else
-    [] : List prelude.Bin
+    prelude.emptyBin
 in
 
 let libraries = if not sourceBld
@@ -67,7 +67,7 @@
       }
     ]
   else
-    [] : List prelude.Lib
+    prelude.emptyLib
 in
 
 let dependencies = prelude.mapPlainDeps
diff --git a/cbits/combinatorics.c b/cbits/combinatorics.c
--- a/cbits/combinatorics.c
+++ b/cbits/combinatorics.c
@@ -1,7 +1,7 @@
 /*
 **
 ** The C code is generated by [ATS/Postiats-0-3-10]
-** The starting compilation time is: 2018-4-28:  5h: 1m
+** The starting compilation time is: 2018-4-28: 10h:50m
 **
 */
 
diff --git a/cbits/number-theory.c b/cbits/number-theory.c
--- a/cbits/number-theory.c
+++ b/cbits/number-theory.c
@@ -1,7 +1,7 @@
 /*
 **
 ** The C code is generated by [ATS/Postiats-0-3-10]
-** The starting compilation time is: 2018-4-28:  5h: 1m
+** The starting compilation time is: 2018-4-28: 10h:50m
 **
 */
 
diff --git a/cbits/numerics.c b/cbits/numerics.c
--- a/cbits/numerics.c
+++ b/cbits/numerics.c
@@ -1,7 +1,7 @@
 /*
 **
 ** The C code is generated by [ATS/Postiats-0-3-10]
-** The starting compilation time is: 2018-4-28:  5h: 1m
+** The starting compilation time is: 2018-4-28: 10h:50m
 **
 */
 
diff --git a/fast-arithmetic.cabal b/fast-arithmetic.cabal
--- a/fast-arithmetic.cabal
+++ b/fast-arithmetic.cabal
@@ -1,6 +1,6 @@
 cabal-version: 1.18
 name: fast-arithmetic
-version: 0.6.0.2
+version: 0.6.0.3
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018 Vanessa McHale