(no commit message)

[lambda.git] / topics / week7_introducing_monads.mdwn

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 4b6ed35..5bc139f 100644 (file)
--- 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 <code><u>Q</u></code> is <code><u>bool</u></code>).
 
 Note that the left-hand schema `P` is permitted to itself be a boxed
 In the first, `P` has become `int` and `Q` has become `bool`. (The boxed type <code><u>Q</u></code> is <code><u>bool</u></code>).
 
 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
 
 `int list`, we can write the boxed type that has `P` as its left-hand
 side as