1 files changed, 12 insertions, 12 deletions

diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux
index 22362318a..b80e262c4 100644
--- a/stdlib/source/library/lux/tool/compiler/phase.lux
+++ b/stdlib/source/library/lux/tool/compiler/phase.lux
@@ -28,41 +28,41 @@
   (state.+State Try s o))
 
 (def: .public monad
-  (All [s] (Monad (Operation s)))
+  (All (_ s) (Monad (Operation s)))
   (state.with try.monad))
 
 (type: .public (Phase s i o)
   (-> Archive i (Operation s o)))
 
 (type: .public Wrapper
-  (All [s i o] (-> (Phase s i o) Any)))
+  (All (_ s i o) (-> (Phase s i o) Any)))
 
 (def: .public (result' state operation)
-  (All [s o]
+  (All (_ s o)
     (-> s (Operation s o) (Try [s o])))
   (operation state))
 
 (def: .public (result state operation)
-  (All [s o]
+  (All (_ s o)
     (-> s (Operation s o) (Try o)))
   (|> state
       operation
       (\ try.monad each product.right)))
 
 (def: .public get_state
-  (All [s o]
+  (All (_ s o)
     (Operation s s))
   (function (_ state)
     (#try.Success [state state])))
 
 (def: .public (set_state state)
-  (All [s o]
+  (All (_ s o)
     (-> s (Operation s Any)))
   (function (_ _)
     (#try.Success [state []])))
 
 (def: .public (sub [get set] operation)
-  (All [s s' o]
+  (All (_ s s' o)
     (-> [(-> s s') (-> s' s s)]
         (Operation s' o)
         (Operation s o)))
@@ -76,11 +76,11 @@
   (|>> #try.Failure (state.lifted try.monad)))
 
 (def: .public (except exception parameters)
-  (All [e] (-> (Exception e) e Operation))
+  (All (_ e) (-> (Exception e) e Operation))
   (..failure (ex.error exception parameters)))
 
 (def: .public (lifted error)
-  (All [s a] (-> (Try a) (Operation s a)))
+  (All (_ s a) (-> (Try a) (Operation s a)))
   (function (_ state)
     (try\each (|>> [state]) error)))
 
@@ -92,12 +92,12 @@
                  (..except (~ exception) (~ message)))))))
 
 (def: .public identity
-  (All [s a] (Phase s a a))
+  (All (_ s a) (Phase s a a))
   (function (_ archive input state)
     (#try.Success [state input])))
 
 (def: .public (composite pre post)
-  (All [s0 s1 i t o]
+  (All (_ s0 s1 i t o)
     (-> (Phase s0 i t)
         (Phase s1 t o)
         (Phase [s0 s1] i o)))
@@ -108,7 +108,7 @@
       (in [[pre/state' post/state'] output]))))
 
 (def: .public (timed definition description operation)
-  (All [s a]
+  (All (_ s a)
     (-> Name Text (Operation s a) (Operation s a)))
   (do ..monad
     [_ (in [])