1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux b/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
index 3b40b09d2..d677d4222 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/inference.lux
@@ -8,13 +8,13 @@
     ["." text
      format]
     [collection
-     ["." list ("#/." functor)]]]
+     ["." list ("#;." functor)]]]
    ["." type
     ["." check]]
    ["." macro]]
   ["." // #_
    ["#." type]
-   ["#/" // ("#/." monad)
+   ["#/" // ("#;." monad)
     ["#." extension]
     [//
      ["/" analysis (#+ Tag Analysis Operation Phase)]]]])
@@ -28,7 +28,7 @@
   (ex.report ["Type" (%type type)]
              ["Arguments" (|> args
                               list.enumerate
-                              (list/map (function (_ [idx argC])
+                              (list;map (function (_ [idx argC])
                                           (format text.new-line "  " (%n idx) " " (%code argC))))
                               (text.join-with ""))]))
 
@@ -53,7 +53,7 @@
   (-> Nat Type Type Type)
   (case type
     (#.Primitive name params)
-    (#.Primitive name (list/map (replace parameter-idx replacement) params))
+    (#.Primitive name (list;map (replace parameter-idx replacement) params))
 
     (^template [<tag>]
       (<tag> left right)
@@ -71,7 +71,7 @@
 
     (^template [<tag>]
       (<tag> env quantified)
-      (<tag> (list/map (replace parameter-idx replacement) env)
+      (<tag> (list;map (replace parameter-idx replacement) env)
              (replace (n/+ 2 parameter-idx) replacement quantified)))
     ([#.UnivQ]
      [#.ExQ])
@@ -193,7 +193,7 @@
       (///.throw invalid-type-application inferT))
 
     (#.Product _)
-    (////wrap (type.function (type.flatten-tuple inferT) inferT))
+    (///;wrap (type.function (type.flatten-tuple inferT) inferT))
 
     _
     (///.throw not-a-record-type inferT)))
@@ -226,7 +226,7 @@
                        (n/< boundary tag)))
               (case (list.nth tag cases)
                 (#.Some caseT)
-                (////wrap (if (n/= 0 depth)
+                (///;wrap (if (n/= 0 depth)
                             (type.function (list caseT) currentT)
                             (let [replace' (replace (|> depth dec (n/* 2)) inferT)]
                               (type.function (list (replace' caseT))
@@ -240,7 +240,7 @@
 
               (n/= boundary tag)
               (let [caseT (type.variant (list.drop boundary cases))]
-                (////wrap (if (n/= 0 depth)
+                (///;wrap (if (n/= 0 depth)
                             (type.function (list caseT) currentT)
                             (let [replace' (replace (|> depth dec (n/* 2)) inferT)]
                               (type.function (list (replace' caseT))