5 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 9cc73f6c8..a25d9f5f9 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -1,27 +1,27 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
-     [equivalence {"+" [Equivalence]}]
-     [hash {"+" [Hash]}]
-     ["[0]" monad {"+" [do]}]]
+     [equivalence {"+" Equivalence}]
+     [hash {"+" Hash}]
+     ["[0]" monad {"+" do}]]
     [control
      ["[0]" io]
      ["[0]" try]
-     ["[0]" exception {"+" [exception:]}]]
+     ["[0]" exception {"+" exception:}]]
     [data
      ["[0]" product]
-     ["[0]" binary {"+" [Binary]}]
+     ["[0]" binary {"+" Binary}]
      ["[0]" text
-      ["%" format {"+" [format]}]]
+      ["%" format {"+" format}]]
      [collection
-      ["[0]" dictionary {"+" [Dictionary]}]]]
+      ["[0]" dictionary {"+" Dictionary}]]]
     [math
-     ["[0]" random {"+" [Random]}]]
+     ["[0]" random {"+" Random}]]
     [world
      [net
-      ["[0]" uri {"+" [URI]}]]]]]
+      ["[0]" uri {"+" URI}]]]]]
   ["[0]" / "_"
    ["[1][0]" identity]
    ["[1][0]" origin]
@@ -35,8 +35,8 @@
    ["[0]" /
     ["[0]" remote]
     ["/[1]" // "_"
-     ["[1][0]" artifact {"+" [Version Artifact]}
-      ["[1]/[0]" extension {"+" [Extension]}]]]]])
+     ["[1][0]" artifact {"+" Version Artifact}
+      ["[1]/[0]" extension {"+" Extension}]]]]])
 
 (def: artifact
   (-> Version Artifact)
diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 971e18a4b..f8ba7145d 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -1,12 +1,12 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
      [\\specification
       ["$[0]" equivalence]]]
     [math
-     ["[0]" random {"+" [Random]}]]]]
+     ["[0]" random {"+" Random}]]]]
   [\\program
    ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index deb381511..88106fa82 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -1,9 +1,9 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
-     [monad {"+" [do]}]]
+     [monad {"+" do}]]
     [control
      ["[0]" try ("[1]#[0]" functor)]
      [parser
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index f160df2e3..c4865d69a 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -1,12 +1,12 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
      [\\specification
       ["$[0]" equivalence]]]
     [math
-     ["[0]" random {"+" [Random]}]]]]
+     ["[0]" random {"+" Random}]]]]
   [\\program
    ["[0]" /]])
 
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 6d8811ffe..92380630c 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -1,11 +1,11 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
-     [monad {"+" [do]}]]
+     [monad {"+" do}]]
     [control
-     ["[0]" io {"+" [IO]}]
+     ["[0]" io {"+" IO}]
      ["[0]" maybe ("[1]#[0]" functor)]
      ["[0]" try ("[1]#[0]" monad)]
      ["[0]" exception]
@@ -13,15 +13,15 @@
     [data
      ["[0]" binary ("[1]#[0]" equivalence)]
      ["[0]" text ("[1]#[0]" equivalence)
-      ["%" format {"+" [format]}]
+      ["%" format {"+" format}]
       [encoding
        ["[0]" utf8]]]
      [collection
       ["[0]" dictionary]]]
     [math
-     ["[0]" random {"+" [Random]}]]
+     ["[0]" random {"+" Random}]]
     [world
-     [net {"+" [URL]}
+     [net {"+" URL}
       ["[0]" http "_"
        ["[1]" client]
        ["[1]/[0]" status]