Removed temporary "|" prefix on Nat.

1 files changed, 5 insertions, 5 deletions

diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux
index fad0bfb5d..6f26a01f8 100644
--- a/stdlib/source/lux/type/implicit.lux
+++ b/stdlib/source/lux/type/implicit.lux
@@ -65,12 +65,12 @@
       (find-member-type idx sig-type'))
 
     (#.Product left right)
-    (if (n/= |0 idx)
+    (if (n/= 0 idx)
       (:: check.Monad<Check> wrap left)
       (find-member-type (dec idx) right))
 
     _
-    (if (n/= |0 idx)
+    (if (n/= 0 idx)
       (:: check.Monad<Check> wrap sig-type)
       (check.fail (format "Cannot find member type " (%n idx) " for " (%type sig-type))))))
 
@@ -326,10 +326,10 @@
               (::: eq.= x y)
               "(List Nat) equivalence"
               (::: =
-                (list.n/range |1 |10)
-                (list.n/range |1 |10))
+                (list.n/range 1 10)
+                (list.n/range 1 10))
               "(Functor List) map"
-              (::: map inc (list.n/range |0 |9))
+              (::: map inc (list.n/range 0 9))
               "Caveat emptor: You need to make sure to import the module of any structure you want to use."
               "Otherwise, this macro will not find it.")}
   (case args