3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index e91b79e1f..46eab9c88 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -26,7 +26,7 @@
      ["_." binary]]]])
 
 (def: .public (random hash)
-  (All [h]
+  (All (_ h)
     (-> (-> Binary (/.Hash h))
         (Random (/.Hash h))))
   (do {! random.monad}
diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index de27a0ee8..be05cdda9 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -38,13 +38,13 @@
   (random.ascii/alpha 1))
 
 (def: (list_of random)
-  (All [a] (-> (Random a) (Random (List a))))
+  (All (_ a) (-> (Random a) (Random (List a))))
   (do {! random.monad}
     [size (\ ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (dictionary_of key_hash key_random value_random)
-  (All [k v] (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
+  (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (\ random.functor each
      (dictionary.of_list key_hash)
      (..list_of (random.and key_random value_random))))
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 92d755290..39aaa4fa3 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -72,19 +72,19 @@
   ..developer)
 
 (def: (list_of random)
-  (All [a] (-> (Random a) (Random (List a))))
+  (All (_ a) (-> (Random a) (Random (List a))))
   (do {! random.monad}
     [size (\ ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (set_of hash random)
-  (All [a] (-> (Hash a) (Random a) (Random (Set a))))
+  (All (_ a) (-> (Hash a) (Random a) (Random (Set a))))
   (\ random.functor each
      (set.of_list hash)
      (..list_of random)))
 
 (def: (dictionary_of key_hash key_random value_random)
-  (All [k v] (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
+  (All (_ k v) (-> (Hash k) (Random k) (Random v) (Random (Dictionary k v))))
   (\ random.functor each
      (dictionary.of_list key_hash)
      (..list_of (random.and key_random value_random))))