X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=4b6ed35503dba70b524d7ccfafc19cfedd58da4e;hp=60a36aaded782146433a0564da73dc66467942d1;hb=b0f9d7289ac23fc87d2e7741c3faf27eb1d22ce7;hpb=c8fd5635d402bd3ae8073725257bef20e161256e
diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 60a36aad..4b6ed355 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -93,7 +93,7 @@ side as
If it's clear that we're uniformly talking about the same box type (in
this example, `α list`), we can equivalently write
-int -> int
+int -> int
Here are some examples of values of these Kleisli arrow types, where the box type is `α list`, and the Kleisli arrow types are int -> int
(that is, `int -> int list`) or int -> bool
: