X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=list_monad_as_continuation_monad.mdwn;h=6354c40726098fb08b9a611c75fd945b5121740e;hp=8d442ae0d08ed95daff2200ae3761656d537bae7;hb=fce9b4616d10e89c6021f479c27d0d40c25a9870;hpb=5e8eadce75352b7c2ec2ad78c8c92b89bd6ee778

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: