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.16
+version: 3.2.5.17
 license: BSD3
 license-file: LICENSE
 copyright: Copyright: (c) 2018-2019 Vanessa McHale
diff --git a/dhall/atspkg-prelude.dhall b/dhall/atspkg-prelude.dhall
--- a/dhall/atspkg-prelude.dhall
+++ b/dhall/atspkg-prelude.dhall
@@ -20,7 +20,7 @@
 let TargetPair = { hs : Text, ats : Text, cpphs : Bool }
 in
 
-let CCompiler = < CompCert : {} | Clang : {} | GCC : {} | ICC : {} | CC : {} >
+let CCompiler = < CompCert | Clang | GCC | ICC | CC >
 in
 
 let Bin =
@@ -176,13 +176,13 @@
   lib ⫽ { static = True }
 in
 
-let Solver = < PatsSolve : {} | Z3 : {} | Ignore : {} >
+let Solver = < PatsSolve | Z3 | Ignore >
 in
 
-let solver = Solver.PatsSolve {=}
+let solver = Solver.PatsSolve
 in
 
-let ignore = Solver.Ignore {=}
+let ignore = Solver.Ignore
 in
 
 let default
@@ -294,35 +294,35 @@
 let atsProject = "target"
 in
 
-let gcc = CCompiler.GCC {=}
+let gcc = CCompiler.GCC
 in
-let clang = CCompiler.Clang {=}
+let clang = CCompiler.Clang
 in
-let compCert = CCompiler.CompCert {=}
+let compCert = CCompiler.CompCert
 in
-let icc = CCompiler.ICC {=}
+let icc = CCompiler.ICC
 in
-let cc = CCompiler.CC {=}
+let cc = CCompiler.CC
 in
 
 let printCompiler =
     λ(cc : CCompiler) →
-        merge { CompCert = λ(_ : {}) → "ccomp"
-              , Clang = λ(_ : {}) → "clang"
-              , GCC = λ(_ : {}) → "gcc"
-              , ICC = λ(_ : {}) → "icc"
-              , CC = λ(_ : {}) → "cc"
+        merge { CompCert = "ccomp"
+              , Clang = "clang"
+              , GCC = "gcc"
+              , ICC = "icc"
+              , CC = "cc"
               }
               cc
 in
 
 let ccFlags =
     λ(cc : CCompiler) →
-        merge { CompCert = λ(_ : {}) → [ "-O2", "-fstruct-passing" ]
-              , Clang = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto" ]
-              , GCC = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto" ]
-              , ICC = λ(_ : {}) → [ "-O2", "-mtune=native", "-flto", "-D__PURE_INTEL_C99_HEADERS__" ]
-              , CC = λ(_ : {}) → [ "-O2" ]
+        merge { CompCert = [ "-O2", "-fstruct-passing" ]
+              , Clang = [ "-O2", "-mtune=native", "-flto" ]
+              , GCC = [ "-O2", "-mtune=native", "-flto" ]
+              , ICC = [ "-O2", "-mtune=native", "-flto", "-D__PURE_INTEL_C99_HEADERS__" ]
+              , CC = [ "-O2" ]
               }
               cc
 in