1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index 2b59fce16..6d7d8c357 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -1,17 +1,17 @@
 (.using
-  [library
-   [lux "*"
-    [abstract
-     [equivalence {"+" Equivalence}]]
-    [control
-     ["<>" parser
-      ["<[0]>" code {"+" Parser}]]]
-    [data
-     ["[0]" product]
-     [collection
-      ["[0]" list ("[1]#[0]" monad)]]]
-    [macro
-     ["[0]" code]]]])
+ [library
+  [lux "*"
+   [abstract
+    [equivalence {"+" Equivalence}]]
+   [control
+    ["<>" parser
+     ["<[0]>" code {"+" Parser}]]]
+   [data
+    ["[0]" product]
+    [collection
+     ["[0]" list ("[1]#[0]" monad)]]]
+   [macro
+    ["[0]" code]]]])
 
 (type: .public Input
   (Record
@@ -28,8 +28,8 @@
 (def: .public format
   (-> (List Input) Code)
   (|>> (list#each (function (_ value)
-                    (list (value@ #binding value)
-                          (value@ #type value))))
+                    (list (the #binding value)
+                          (the #type value))))
        list#conjoint
        code.tuple))