1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux
index 194a63b2d..df4fc8d3c 100644
--- a/stdlib/source/library/lux/type/refinement.lux
+++ b/stdlib/source/library/lux/type/refinement.lux
@@ -1,15 +1,15 @@
 (.using
-  [library
-   [lux {"-" type}
-    [abstract
-     [predicate {"+" Predicate}]]
-    [control
-     [parser
-      ["<[0]>" code]]]
-    ["[0]" macro
-     [syntax {"+" syntax:}]]
-    ["[0]" type
-     abstract]]])
+ [library
+  [lux {"-" type}
+   [abstract
+    [predicate {"+" Predicate}]]
+   [control
+    [parser
+     ["<[0]>" code]]]
+   ["[0]" macro
+    [syntax {"+" syntax:}]]
+   ["[0]" type
+    abstract]]])
 
 (abstract: .public (Refined t %)
   (Record
@@ -32,7 +32,7 @@
   (template [<name> <output> <slot>]
     [(def: .public <name>
        (All (_ t %) (-> (Refined t %) <output>))
-       (|>> :representation (value@ <slot>)))]
+       (|>> :representation (the <slot>)))]
 
     [value     t             #value]
     [predicate (Predicate t) #predicate]