10 files changed, 18 insertions, 18 deletions
diff --git a/stdlib/source/program/aedifex/command/auto.lux b/stdlib/source/program/aedifex/command/auto.lux
index 77a0c8714..a4f6e0fca 100644
--- a/stdlib/source/program/aedifex/command/auto.lux
+++ b/stdlib/source/program/aedifex/command/auto.lux
@@ -44,7 +44,7 @@
   (async.after delay (#try.Success [])))
 
 (def: .public (do! delay watcher command)
-  (All [a]
+  (All (_ a)
     (-> Nat (Watcher Async)
         (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit a]))
         (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))))
diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux
index ff4ace158..421fd7086 100644
--- a/stdlib/source/program/aedifex/command/build.lux
+++ b/stdlib/source/program/aedifex/command/build.lux
@@ -110,7 +110,7 @@
       (exception.except ..no_available_compiler []))))
 
 (def: (path fs home dependency)
-  (All [!] (-> (file.System !) Path Dependency Path))
+  (All (_ !) (-> (file.System !) Path Dependency Path))
   (let [/ (\ fs separator)
         artifact (value@ #///dependency.artifact dependency)]
     (|> artifact
@@ -120,7 +120,7 @@
         (text.suffix (format "." (value@ #///dependency.type dependency))))))
 
 (def: (libraries fs home)
-  (All [!] (-> (file.System !) Path Resolution (List Path)))
+  (All (_ !) (-> (file.System !) Path Resolution (List Path)))
   (|>> dictionary.keys
        (list.only (|>> (value@ #///dependency.type)
                        (text\= ///artifact/type.lux_library)))
@@ -155,7 +155,7 @@
         false))))
 
 (def: .public (host_dependencies fs home)
-  (All [!] (-> (file.System !) Path Resolution (List Path)))
+  (All (_ !) (-> (file.System !) Path Resolution (List Path)))
   (|>> dictionary.keys
        (list.only (|>> (value@ #///dependency.type)
                        (text\= ///artifact/type.lux_library)
diff --git a/stdlib/source/program/aedifex/dependency/deployment.lux b/stdlib/source/program/aedifex/dependency/deployment.lux
index 22788dc3d..92f0b55bf 100644
--- a/stdlib/source/program/aedifex/dependency/deployment.lux
+++ b/stdlib/source/program/aedifex/dependency/deployment.lux
@@ -44,7 +44,7 @@
   (-> (Repository Async) ///artifact.Version Dependency [Binary Status] (Async (Try Any)))
   (let [artifact (format (///artifact.uri version_template artifact)
                          (///artifact/extension.extension type))
-        deploy_hash (: (All [h] (-> (Codec Text (Hash h)) Extension (Hash h) (Async (Try Any))))
+        deploy_hash (: (All (_ h) (-> (Codec Text (Hash h)) Extension (Hash h) (Async (Try Any))))
                        (function (_ codec extension hash)
                          (|> hash
                              (\ codec encoded)
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 8de6d2423..a90712796 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -74,7 +74,7 @@
    (trim [] java/lang/String)])
 
 (def: (verified_hash library repository version_template artifact extension hash codec exception)
-  (All [h]
+  (All (_ h)
     (-> Binary (Repository Async) Version Artifact Extension
         (-> Binary (Hash h)) (Codec Text (Hash h))
         (Exception [Artifact Extension Text])
diff --git a/stdlib/source/program/aedifex/format.lux b/stdlib/source/program/aedifex/format.lux
index d36d597b3..1933d2be0 100644
--- a/stdlib/source/program/aedifex/format.lux
+++ b/stdlib/source/program/aedifex/format.lux
@@ -68,7 +68,7 @@
   (dictionary.empty text.hash))
 
 (def: (on_maybe field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (Maybe a) (Format a) Aggregate Aggregate))
   (case value
     #.None
@@ -78,7 +78,7 @@
     (dictionary.has field (format value) aggregate)))
 
 (def: (on_list field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (List a) (Format a) Aggregate Aggregate))
   (case value
     #.End
@@ -88,12 +88,12 @@
     (dictionary.has field (` [(~+ (list\each format value))]) aggregate)))
 
 (def: (on_set field value format aggregate)
-  (All [a]
+  (All (_ a)
     (-> Text (Set a) (Format a) Aggregate Aggregate))
   (..on_list field (set.list value) format aggregate))
 
 (def: (on_dictionary field value key_format value_format aggregate)
-  (All [k v]
+  (All (_ k v)
     (-> Text (Dictionary k v) (Format k) (Format v) Aggregate Aggregate))
   (if (dictionary.empty? value)
     aggregate
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 74e78ca55..403fdb677 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -40,7 +40,7 @@
   Binary
 
   (def: .public data
-    (All [h] (-> (Hash h) Binary))
+    (All (_ h) (-> (Hash h) Binary))
     (|>> :representation))
 
   (template [<name> <kind> <algorithm>]
@@ -116,7 +116,7 @@
     (n.* ..hex_per_byte))
 
   (def: (decoded size constructor encoded)
-    (All [h]
+    (All (_ h)
       (-> Nat (-> Binary (Try (Hash h)))
           (-> Text (Try (Hash h)))))
     (let [hash_size (..hash_size encoded)]
@@ -159,7 +159,7 @@
     )
 
   (implementation: .public equivalence
-    (All [h] (Equivalence (Hash h)))
+    (All (_ h) (Equivalence (Hash h)))
 
     (def: (= reference subject)
       (\ binary.equivalence =
diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux
index 43edc3404..08f309968 100644
--- a/stdlib/source/program/aedifex/input.lux
+++ b/stdlib/source/program/aedifex/input.lux
@@ -50,7 +50,7 @@
             [(list) (<code>.result //parser.project)])))
 
 (def: .public (read monad fs profiles)
-  (All [!] (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
+  (All (_ !) (-> (Monad !) (file.System !) (List Name) (! (Try Profile))))
   (|> //project.file
       (\ fs read)
       (\ monad each
diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 8ece73b51..21c8ac270 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -38,12 +38,12 @@
     (list)))
 
 (def: (singular input tag parser)
-  (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser a)))
+  (All (_ a) (-> (Dictionary Text Code) Text (Parser a) (Parser a)))
   (<code>.local (..as_input (dictionary.value tag input))
                 parser))
 
 (def: (plural input tag parser)
-  (All [a] (-> (Dictionary Text Code) Text (Parser a) (Parser (List a))))
+  (All (_ a) (-> (Dictionary Text Code) Text (Parser a) (Parser (List a))))
   (<code>.local (..as_input (dictionary.value tag input))
                 (<code>.tuple (<>.some parser))))
 
diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index d1aa5a1b9..38fb27ead 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -46,7 +46,7 @@
       on_upload)))
 
 (def: .public (mock mock init)
-  (All [s] (-> (Mock s) s (Repository Async)))
+  (All (_ s) (-> (Mock s) s (Repository Async)))
   (let [state (stm.var init)]
     (implementation
      (def: description
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index d6cea3f06..af9613db7 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -55,7 +55,7 @@
   (list ["User-Agent" ..user_agent]))
 
 (implementation: .public (repository http identity address)
-  (All [s] (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO)))
+  (All (_ s) (-> (http.Client IO) (Maybe Identity) Address (//.Repository IO)))
 
   (def: description
     address)