X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=topics%2Fweek7_introducing_monads.mdwn;h=06dd06e32f409d8cbcb25f9a29b7d65cb56bf0f5;hp=7a7222e96249b9873d13c21f722c69a56e368bbf;hb=c6fe7737f03addc98e31b044f1b2d855498a0dfb;hpb=d3be9d07f791548dd8bb9b54d07e3b666cfa2379

diff --git a/topics/week7_introducing_monads.mdwn b/topics/week7_introducing_monads.mdwn
index 7a7222e9..06dd06e3 100644
--- a/topics/week7_introducing_monads.mdwn
+++ b/topics/week7_introducing_monads.mdwn
@@ -380,7 +380,7 @@ That can be helpful, but it only enables us to have _zero or one_ elements in th
     let rec catmap (k : α -> β list) (xs : α list) : β list =
       match xs with
       | [] -> []
-      | x' :: xs' -> List.append (k x') (catmap f xs')
+      | x' :: xs' -> List.append (k x') (catmap k xs')
 
 Now we can have as many elements in the result for a given `α` as `k` cares to return. Another way to write `catmap k xs` is as (Haskell) `concat (map k xs)` or (OCaml) `List.flatten (List.map k xs)`. And this is just the definition of `mbind` or `>>=` for the List Monad. The definition of `mcomp` or `<=<`, that we gave above, differs only in that it's the way to compose two functions `j` and `k`, that you'd want to `catmap`, rather than the way to `catmap` one of those functions over a value that's already a list.
 
@@ -466,4 +466,4 @@ Here is some other reading:
 *	[Haskell wikibook on Advanced Monads](http://en.wikibooks.org/wiki/Haskell/Advanced_monads)
 *	[Haskell wiki on Monad Laws](http://www.haskell.org/haskellwiki/Monad_laws)
 
-There's a long list of monad tutorials linked at the [[Haskell wiki|https://wiki.haskell.org/Monad_tutorials_timeline]] (we linked to this at the top of the page), and on our own [[Offsite Reading]] page. (Skimming the titles is somewhat amusing.) If you are confused by monads, make use of these resources. Read around until you find a tutorial pitched at a level that's helpful for you.
+There's a long list of monad tutorials linked at the [[Haskell wiki|https://wiki.haskell.org/Monad_tutorials_timeline]] (we linked to this at the top of the page), and on our own [[Offsite Reading|/readings]] page. (Skimming the titles is somewhat amusing.) If you are confused by monads, make use of these resources. Read around until you find a tutorial pitched at a level that's helpful for you.