Outsourced the syntax for labelled type definitions to macros.

1 files changed, 3 insertions, 3 deletions

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 4cb58d0d0..92d755290 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -74,18 +74,18 @@
 (def: (list_of random)
   (All [a] (-> (Random a) (Random (List a))))
   (do {! random.monad}
-    [size (\ ! map (n.% 5) random.nat)]
+    [size (\ ! each (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (set_of hash random)
   (All [a] (-> (Hash a) (Random a) (Random (Set a))))
-  (\ random.functor map
+  (\ 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))))
-  (\ random.functor map
+  (\ random.functor each
      (dictionary.of_list key_hash)
      (..list_of (random.and key_random value_random))))