1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/platform/compiler/phase/analysis/module.lux b/stdlib/source/lux/platform/compiler/phase/analysis/module.lux
index a8f6bda03..9905ee2dc 100644
--- a/stdlib/source/lux/platform/compiler/phase/analysis/module.lux
+++ b/stdlib/source/lux/platform/compiler/phase/analysis/module.lux
@@ -5,11 +5,11 @@
     ["ex" exception (#+ exception:)]
     pipe]
    [data
-    ["." text ("text/." Equivalence<Text>)
+    ["." text ("text/." equivalence)
      format]
     ["." error]
     [collection
-     ["." list ("list/." Fold<List> Functor<List>)]
+     ["." list ("list/." fold functor)]
      [dictionary
       ["." plist]]]]
    ["." macro]]
@@ -63,7 +63,7 @@
 
 (def: #export (set-annotations annotations)
   (-> Code (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [self-name (extension.lift macro.current-module-name)
      self (extension.lift macro.current-module)]
     (case (get@ #.module-annotations self)
@@ -80,7 +80,7 @@
 
 (def: #export (import module)
   (-> Text (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [self-name (extension.lift macro.current-module-name)]
     (extension.lift
      (function (_ state)
@@ -91,7 +91,7 @@
 
 (def: #export (alias alias module)
   (-> Text Text (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [self-name (extension.lift macro.current-module-name)]
     (extension.lift
      (function (_ state)
@@ -113,7 +113,7 @@
 
 (def: #export (define name definition)
   (-> Text Definition (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [self-name (extension.lift macro.current-module-name)
      self (extension.lift macro.current-module)]
     (extension.lift
@@ -144,7 +144,7 @@
 
 (def: #export (with-module hash name action)
   (All [a] (-> Nat Text (Operation a) (Operation [Module a])))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [_ (create hash name)
      output (//.with-current-module name
               action)
@@ -210,7 +210,7 @@
 
 (def: (ensure-undeclared-tags module-name tags)
   (-> Text (List Tag) (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [bindings (..tags module-name)
      _ (monad.map @
                   (function (_ tag)
@@ -225,7 +225,7 @@
 
 (def: #export (declare-tags tags exported? type)
   (-> (List Tag) Bit Type (Operation Any))
-  (do ///.Monad<Operation>
+  (do ///.monad
     [self-name (extension.lift macro.current-module-name)
      [type-module type-name] (case type
                                (#.Named type-name _)