From: Chris Date: Fri, 20 Mar 2015 15:53:20 +0000 (-0400) Subject: edits X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=b0f9d7289ac23fc87d2e7741c3faf27eb1d22ce7;hp=c8fd5635d402bd3ae8073725257bef20e161256e edits --- 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: