1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index a41783bc9..2328915f6 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -54,26 +54,26 @@
     (type (All (_ brand label)
             (constructor (All (_ value) (Policy brand value label))))))
 
-  (implementation: .public functor
+  (def: .public functor
     (~ (..of_policy Functor))
-    
-    (def: (each f fa)
-      (|> fa representation f abstraction)))
+    (implementation
+     (def: (each f fa)
+       (|> fa representation f abstraction))))
 
-  (implementation: .public apply
+  (def: .public apply
     (~ (..of_policy Apply))
-    
-    (def: functor ..functor)
-    
-    (def: (on fa ff)
-      (abstraction ((representation ff) (representation fa)))))
+    (implementation
+     (def: functor ..functor)
+     
+     (def: (on fa ff)
+       (abstraction ((representation ff) (representation fa))))))
 
-  (implementation: .public monad
+  (def: .public monad
     (~ (..of_policy Monad))
-    
-    (def: functor ..functor)
-    (def: in (|>> abstraction))
-    (def: conjoint (|>> representation)))
+    (implementation
+     (def: functor ..functor)
+     (def: in (|>> abstraction))
+     (def: conjoint (|>> representation))))
   )
 
 (with_template [<brand> <value> <upgrade> <downgrade>]