X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=a835139844ec2c65db17413da45bbf2b9cd12803;hp=bb0df8f7adfb815e4bbc2bbeed30888d1bab99f3;hb=280292e85f15e5e6c96e02e6b538109ae28abe16;hpb=777daeab9a8a804f4b5f67dd4e3458e58acf53ca 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.)