3 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
index 8526daba4..7afe706c1 100644
--- a/stdlib/source/specification/compositor.lux
+++ b/stdlib/source/specification/compositor.lux
@@ -32,7 +32,7 @@
    ["[1][0]" common]]])
 
 (def (test runner definer state expander)
-  (-> Runner Definer analysis.State+ Expander Test)
+  (-> Runner Definer analysis.State Expander Test)
   (all _.and
        (/analysis/type.spec expander state)
        (/generation/primitive.spec runner)
diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 3eab3d50d..726e438c9 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -12,7 +12,7 @@
    [meta
     ["[0]" code]
     [compiler
-     [analysis (.only State+)]
+     [analysis (.only State)]
      ["[0]" phase
       [macro (.only Expander)]
       ["[0]" analysis
@@ -22,7 +22,7 @@
     ["_" property (.only Test)]]]])
 
 (def (check_success+ expander state extension params output_type)
-  (-> Expander State+ Text (List Code) Type Bit)
+  (-> Expander State Text (List Code) Type Bit)
   (|> (analysis/scope.with_scope ""
         (analysis/type.with_type output_type
           (analysis.phase expander (` ((, (code.text extension)) (,* params))))))
@@ -53,7 +53,7 @@
                  )))))
 
 (def .public (spec expander state)
-  (-> Expander State+ Test)
+  (-> Expander State Test)
   (do r.monad
     [[typeC exprT exprC] ..check
      [other_typeC other_exprT other_exprC] ..check]
diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux
index 2a3e6fb45..f72bb20bc 100644
--- a/stdlib/source/specification/compositor/common.lux
+++ b/stdlib/source/specification/compositor/common.lux
@@ -28,7 +28,7 @@
 (type .public (Instancer what)
   (All (_ anchor expression declaration)
     (-> (Platform IO anchor expression declaration)
-        (generation.State+ anchor expression declaration)
+        (generation.State anchor expression declaration)
         what)))
 
 (def (runner (open "[0]") state)
@@ -65,7 +65,7 @@
         (generation.Bundle anchor expression declaration)
         (declaration.Bundle anchor expression declaration)
         (-> expression declaration) Extender
-        (IO (Try [(declaration.State+ anchor expression declaration)
+        (IO (Try [(declaration.State anchor expression declaration)
                   Runner
                   Definer]))))
   (do io.monad