1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 048b34ba8..d7c5ed28a 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -1,10 +1,10 @@
 (.module:
   [library
    [lux "*"
-    ["_" test {"+" [Test]}]
+    ["_" test {"+" Test}]
     [abstract
-     [equivalence {"+" [Equivalence]}]
-     [monad {"+" [do]}]]
+     [equivalence {"+" Equivalence}]
+     [monad {"+" do}]]
     [control
      ["[0]" function]]
     [math
@@ -12,7 +12,7 @@
      [number
       ["n" nat]]]]]
   [\\library
-   ["[0]" / {"+" [Functor]}]])
+   ["[0]" / {"+" Functor}]])
 
 (def: (identity equivalence value (^open "@//[0]"))
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))