From: chris Date: Thu, 19 Mar 2015 14:18:53 +0000 (-0400) Subject: (no commit message) X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=280292e85f15e5e6c96e02e6b538109ae28abe16;ds=sidebyside --- diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn index bb0df8f7..a8351398 100644 --- a/topics/week7_introducing_monads.mdwn +++ b/topics/week7_introducing_monads.mdwn @@ -83,7 +83,7 @@ if `α list` is our box type, we can write the second arrow as We'll need a number of classes of functions to help us maneuver in the presence of box types. We will want to define a different instance of each of these for whichever box type we're dealing with. (This will -become clearly shortly.) +become clear shortly.) Here are the types of our crucial functions, together with our pronunciation, and some other names the functions go by. (Usually the type doesn't fix their behavior, which will be discussed below.)