From: Jim Pryor Date: Wed, 1 Dec 2010 06:39:39 +0000 (-0500) Subject: lists-monad tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=fce9b4616d10e89c6021f479c27d0d40c25a9870 lists-monad tweaks Signed-off-by: Jim Pryor --- diff --git a/list_monad_as_continuation_monad.mdwn b/list_monad_as_continuation_monad.mdwn index 8d442ae0..6354c407 100644 --- a/list_monad_as_continuation_monad.mdwn +++ b/list_monad_as_continuation_monad.mdwn @@ -76,7 +76,7 @@ The **State Monad** is similar. Once we've decided to use the following type co Then our unit is naturally: - let s_unit (a : 'a) : ('a state) = fun (s : store) -> (a, s) + let s_unit (a : 'a) : 'a state = fun (s : store) -> (a, s) And we can reason our way to the bind function in a way similar to the reasoning given above. First, we need to apply `f` to the contents of the `u` box: