1 files changed, 51 insertions, 51 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux
index f494749f2..d96c460b1 100644
--- a/stdlib/source/library/lux/type/check.lux
+++ b/stdlib/source/library/lux/type/check.lux
@@ -74,63 +74,63 @@
 (type: Type_Vars
   (List [Var (Maybe Type)]))
 
-(implementation: .public functor
+(def: .public functor
   (Functor Check)
-  
-  (def: (each f fa)
-    (function (_ context)
-      (case (fa context)
-        {try.#Success [context' output]}
-        {try.#Success [context' (f output)]}
+  (implementation
+   (def: (each f fa)
+     (function (_ context)
+       (case (fa context)
+         {try.#Success [context' output]}
+         {try.#Success [context' (f output)]}
 
-        {try.#Failure error}
-        {try.#Failure error}))))
+         {try.#Failure error}
+         {try.#Failure error})))))
 
-(implementation: .public apply
+(def: .public apply
   (Apply Check)
-  
-  (def: functor ..functor)
-
-  (def: (on fa ff)
-    (function (_ context)
-      (case (ff context)
-        {try.#Success [context' f]}
-        (case (fa context')
-          {try.#Success [context'' a]}
-          {try.#Success [context'' (f a)]}
-
-          {try.#Failure error}
-          {try.#Failure error})
-
-        {try.#Failure error}
-        {try.#Failure error}
-        )))
-  )
+  (implementation
+   (def: functor ..functor)
+
+   (def: (on fa ff)
+     (function (_ context)
+       (case (ff context)
+         {try.#Success [context' f]}
+         (case (fa context')
+           {try.#Success [context'' a]}
+           {try.#Success [context'' (f a)]}
+
+           {try.#Failure error}
+           {try.#Failure error})
+
+         {try.#Failure error}
+         {try.#Failure error}
+         )))
+   ))
 
-(implementation: .public monad
+(def: .public monad
   (Monad Check)
-  
-  (def: functor ..functor)
-
-  (def: (in x)
-    (function (_ context)
-      {try.#Success [context x]}))
-
-  (def: (conjoint ffa)
-    (function (_ context)
-      (case (ffa context)
-        {try.#Success [context' fa]}
-        (case (fa context')
-          {try.#Success [context'' a]}
-          {try.#Success [context'' a]}
-
-          {try.#Failure error}
-          {try.#Failure error})
-
-        {try.#Failure error}
-        {try.#Failure error}
-        )))
-  )
+  (implementation
+   (def: functor ..functor)
+
+   (def: (in x)
+     (function (_ context)
+       {try.#Success [context x]}))
+
+   (def: (conjoint ffa)
+     (function (_ context)
+       (case (ffa context)
+         {try.#Success [context' fa]}
+         (case (fa context')
+           {try.#Success [context'' a]}
+           {try.#Success [context'' a]}
+
+           {try.#Failure error}
+           {try.#Failure error})
+
+         {try.#Failure error}
+         {try.#Failure error}
+         )))
+   ))
 
 (open: "check#[0]" ..monad)