13 files changed, 26 insertions, 26 deletions
diff --git a/stdlib/source/spec/lux/abstract/apply.lux b/stdlib/source/spec/lux/abstract/apply.lux
index 40bd37826..8b9884b26 100644
--- a/stdlib/source/spec/lux/abstract/apply.lux
+++ b/stdlib/source/spec/lux/abstract/apply.lux
@@ -64,10 +64,10 @@
 
 (def: #export (spec injection comparison apply)
   (All [f] (-> (Injection f) (Comparison f) (Apply f) Test))
-  (_.with-cover [/.Apply]
-    ($_ _.and
-        (..identity injection comparison apply)
-        (..homomorphism injection comparison apply)
-        (..interchange injection comparison apply)
-        (..composition injection comparison apply)
-        )))
+  (_.for [/.Apply]
+         ($_ _.and
+             (..identity injection comparison apply)
+             (..homomorphism injection comparison apply)
+             (..interchange injection comparison apply)
+             (..composition injection comparison apply)
+             )))
diff --git a/stdlib/source/spec/lux/abstract/codec.lux b/stdlib/source/spec/lux/abstract/codec.lux
index e5740cf53..db3148c3f 100644
--- a/stdlib/source/spec/lux/abstract/codec.lux
+++ b/stdlib/source/spec/lux/abstract/codec.lux
@@ -16,11 +16,11 @@
   (All [m a] (-> (Equivalence a) (/.Codec m a) (Random a) Test))
   (do random.monad
     [expected generator]
-    (_.with-cover [/.Codec]
-      (_.test "Isomorphism."
-              (case (|> expected @//encode @//decode)
-                (#try.Success actual)
-                (@//= expected actual)
-                
-                (#try.Failure _)
-                false)))))
+    (_.for [/.Codec]
+           (_.test "Isomorphism."
+                   (case (|> expected @//encode @//decode)
+                     (#try.Success actual)
+                     (@//= expected actual)
+                     
+                     (#try.Failure _)
+                     false)))))
diff --git a/stdlib/source/spec/lux/abstract/comonad.lux b/stdlib/source/spec/lux/abstract/comonad.lux
index ed56d5787..5865381d2 100644
--- a/stdlib/source/spec/lux/abstract/comonad.lux
+++ b/stdlib/source/spec/lux/abstract/comonad.lux
@@ -53,7 +53,7 @@
 
 (def: #export (spec injection comparison subject)
   (All [f] (-> (Injection f) (Comparison f) (CoMonad f) Test))
-  (<| (_.with-cover [/.CoMonad])
+  (<| (_.for [/.CoMonad])
       ($_ _.and
           (..left-identity injection subject)
           (..right-identity injection comparison subject)
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux
index 7f541b0e9..e598179ad 100644
--- a/stdlib/source/spec/lux/abstract/enum.lux
+++ b/stdlib/source/spec/lux/abstract/enum.lux
@@ -12,7 +12,7 @@
   (All [a] (-> (/.Enum a) (Random a) Test))
   (do random.monad
     [sample gen-sample]
-    (<| (_.with-cover [/.Enum])
+    (<| (_.for [/.Enum])
         ($_ _.and
             (_.test "Successor and predecessor are inverse functions."
                     (and (@//= (|> sample @//succ @//pred)
diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux
index 1d8db459c..5c5114f4d 100644
--- a/stdlib/source/spec/lux/abstract/equivalence.lux
+++ b/stdlib/source/spec/lux/abstract/equivalence.lux
@@ -13,7 +13,7 @@
   (do random.monad
     [left generator
      right generator]
-    (<| (_.with-cover [/.Equivalence])
+    (<| (_.for [/.Equivalence])
         ($_ _.and
             (_.test "Reflexivity."
                     (_//= left left))
diff --git a/stdlib/source/spec/lux/abstract/functor.lux b/stdlib/source/spec/lux/abstract/functor.lux
index 70206e9bb..f29e34554 100644
--- a/stdlib/source/spec/lux/abstract/functor.lux
+++ b/stdlib/source/spec/lux/abstract/functor.lux
@@ -54,7 +54,7 @@
 
 (def: #export (spec injection comparison functor)
   (All [f] (-> (Injection f) (Comparison f) (Functor f) Test))
-  (<| (_.with-cover [/.Functor])
+  (<| (_.for [/.Functor])
       ($_ _.and
           (..identity injection comparison functor)
           (..homomorphism injection comparison functor)
diff --git a/stdlib/source/spec/lux/abstract/functor/contravariant.lux b/stdlib/source/spec/lux/abstract/functor/contravariant.lux
index 8adf0139d..8a2e237b6 100644
--- a/stdlib/source/spec/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/spec/lux/abstract/functor/contravariant.lux
@@ -25,7 +25,7 @@
   (All [f a] (-> (Equivalence (f a)) (f a) (Functor f) Test))
   (do random.monad
     [sample random.nat]
-    (<| (_.with-cover [/.Functor])
+    (<| (_.for [/.Functor])
         ($_ _.and
             (..identity equivalence value functor)
             ))))
diff --git a/stdlib/source/spec/lux/abstract/interval.lux b/stdlib/source/spec/lux/abstract/interval.lux
index 0cd255eb2..c80c3ec5b 100644
--- a/stdlib/source/spec/lux/abstract/interval.lux
+++ b/stdlib/source/spec/lux/abstract/interval.lux
@@ -11,7 +11,7 @@
 
 (def: #export (spec (^open "@//.") gen-sample)
   (All [a] (-> (/.Interval a) (Random a) Test))
-  (<| (_.with-cover [/.Interval])
+  (<| (_.for [/.Interval])
       (do random.monad
         [sample gen-sample]
         ($_ _.and
diff --git a/stdlib/source/spec/lux/abstract/monad.lux b/stdlib/source/spec/lux/abstract/monad.lux
index 8c1cf7f76..322de7b7b 100644
--- a/stdlib/source/spec/lux/abstract/monad.lux
+++ b/stdlib/source/spec/lux/abstract/monad.lux
@@ -49,7 +49,7 @@
 
 (def: #export (spec injection comparison monad)
   (All [f] (-> (Injection f) (Comparison f) (Monad f) Test))
-  (<| (_.with-cover [/.Monad])
+  (<| (_.for [/.Monad])
       ($_ _.and
           (..left-identity injection comparison monad)
           (..right-identity injection comparison monad)
diff --git a/stdlib/source/spec/lux/abstract/monoid.lux b/stdlib/source/spec/lux/abstract/monoid.lux
index 23e35d0db..b3bcd7a67 100644
--- a/stdlib/source/spec/lux/abstract/monoid.lux
+++ b/stdlib/source/spec/lux/abstract/monoid.lux
@@ -17,7 +17,7 @@
      left gen-sample
      mid gen-sample
      right gen-sample]
-    (<| (_.with-cover [/.Monoid])
+    (<| (_.for [/.Monoid])
         ($_ _.and
             (_.test "Left identity."
                     (@//= sample
diff --git a/stdlib/source/spec/lux/abstract/order.lux b/stdlib/source/spec/lux/abstract/order.lux
index 7fa8c618c..6d259a465 100644
--- a/stdlib/source/spec/lux/abstract/order.lux
+++ b/stdlib/source/spec/lux/abstract/order.lux
@@ -10,7 +10,7 @@
 
 (def: #export (spec (^open "@//.") generator)
   (All [a] (-> (/.Order a) (Random a) Test))
-  (<| (_.with-cover [/.Order])
+  (<| (_.for [/.Order])
       ($_ _.and
           (do random.monad
             [parameter generator
diff --git a/stdlib/source/spec/lux/world/console.lux b/stdlib/source/spec/lux/world/console.lux
index 761376526..1da631a98 100644
--- a/stdlib/source/spec/lux/world/console.lux
+++ b/stdlib/source/spec/lux/world/console.lux
@@ -17,7 +17,7 @@
 
 (def: #export (spec console)
   (-> (IO (/.Console Promise)) Test)
-  (<| (_.with-cover [/.Console])
+  (<| (_.for [/.Console])
       (do {! random.monad}
         [message (random.ascii/alpha 10)]
         (wrap (do promise.monad
diff --git a/stdlib/source/spec/lux/world/shell.lux b/stdlib/source/spec/lux/world/shell.lux
index b6aa282d4..935bd3ab3 100644
--- a/stdlib/source/spec/lux/world/shell.lux
+++ b/stdlib/source/spec/lux/world/shell.lux
@@ -78,7 +78,7 @@
 (with-expansions [<shell-coverage> (as-is [/.Can-Execute /.Command /.Argument])]
   (def: #export (spec shell)
     (-> (/.Shell Promise) Test)
-    (<| (_.with-cover [/.Shell /.Process])
+    (<| (_.for [/.Shell /.Process])
         (do {! random.monad}
           [message (random.ascii/alpha 10)
            seconds (\ ! map (|>> (n.% 5) (n.+ 5)) random.nat)]