lists-monad tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn
index 9aec23d..e4772f8 100644 (file)
--- a/list_monad_as_continuation_monad.mdwn
+++ b/list_monad_as_continuation_monad.mdwn
@@ -357,6 +357,8 @@ This can be eta-reduced to:
 
        let l'_unit a = fun k -> k a
 
 
        let l'_unit a = fun k -> k a
 

+and:
+

        let l'_bind u f =
            (* we mentioned three versions of this, the fully eta-expanded: *)
            fun k z -> u (fun a b -> f a k b) z
        let l'_bind u f =
            (* we mentioned three versions of this, the fully eta-expanded: *)
            fun k z -> u (fun a b -> f a k b) z