1 files changed, 40 insertions, 40 deletions
diff --git a/stdlib/source/library/lux/world/db/jdbc/output.lux b/stdlib/source/library/lux/world/db/jdbc/output.lux
index 65feaba99..3035cff80 100644
--- a/stdlib/source/library/lux/world/db/jdbc/output.lux
+++ b/stdlib/source/library/lux/world/db/jdbc/output.lux
@@ -50,54 +50,54 @@
 (type: .public (Output a)
   (-> [Nat java/sql/ResultSet] (Try [Nat a])))
 
-(implementation: .public functor
+(def: .public functor
   (Functor Output)
-  
-  (def: (each f fa)
-    (function (_ idx+rs)
-      (case (fa idx+rs)
-        {try.#Failure error}
-        {try.#Failure error}
-        
-        {try.#Success [idx' value]}
-        {try.#Success [idx' (f value)]}))))
+  (implementation
+   (def: (each f fa)
+     (function (_ idx+rs)
+       (case (fa idx+rs)
+         {try.#Failure error}
+         {try.#Failure error}
+         
+         {try.#Success [idx' value]}
+         {try.#Success [idx' (f value)]})))))
 
-(implementation: .public apply
+(def: .public apply
   (Apply Output)
-  
-  (def: functor ..functor)
+  (implementation
+   (def: functor ..functor)
 
-  (def: (apply ff fa)
-    (function (_ [idx rs])
-      (case (ff [idx rs])
-        {try.#Success [idx' f]}
-        (case (fa [idx' rs])
-          {try.#Success [idx'' a]}
-          {try.#Success [idx'' (f a)]}
+   (def: (apply ff fa)
+     (function (_ [idx rs])
+       (case (ff [idx rs])
+         {try.#Success [idx' f]}
+         (case (fa [idx' rs])
+           {try.#Success [idx'' a]}
+           {try.#Success [idx'' (f a)]}
 
-          {try.#Failure msg}
-          {try.#Failure msg})
+           {try.#Failure msg}
+           {try.#Failure msg})
 
-        {try.#Failure msg}
-        {try.#Failure msg}))))
+         {try.#Failure msg}
+         {try.#Failure msg})))))
 
-(implementation: .public monad
+(def: .public monad
   (Monad Output)
-  
-  (def: functor ..functor)
-
-  (def: (in a)
-    (function (_ [idx rs])
-      {.#Some [idx a]}))
-  
-  (def: (conjoint mma)
-    (function (_ [idx rs])
-      (case (mma [idx rs])
-        {try.#Failure error}
-        {try.#Failure error}
-        
-        {try.#Success [idx' ma]}
-        (ma [idx' rs])))))
+  (implementation
+   (def: functor ..functor)
+
+   (def: (in a)
+     (function (_ [idx rs])
+       {.#Some [idx a]}))
+   
+   (def: (conjoint mma)
+     (function (_ [idx rs])
+       (case (mma [idx rs])
+         {try.#Failure error}
+         {try.#Failure error}
+         
+         {try.#Success [idx' ma]}
+         (ma [idx' rs]))))))
 
 (def: .public (fail error)
   (All (_ a) (-> Text (Output a)))