X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=5bc139f5a3f7ae558f18208e20e1e6219d54089b;hp=4b6ed35503dba70b524d7ccfafc19cfedd58da4e;hb=a7d60f895476d232e9b811e87b29036a1232745a;hpb=b0f9d7289ac23fc87d2e7741c3faf27eb1d22ce7
diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 4b6ed355..5bc139f5 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -84,7 +84,7 @@ For instance, the following are Kleisli arrows:
In the first, `P` has become `int` and `Q` has become `bool`. (The boxed type Q
is bool
).
Note that the left-hand schema `P` is permitted to itself be a boxed
-type. That is, if `α list` is our box type, and `P` is to boxed type
+type. That is, if `α list` is our box type, and `P` is the boxed type
`int list`, we can write the boxed type that has `P` as its left-hand
side as