X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?a=blobdiff_plain;f=topics%2F_week7_monads.mdwn;h=da0b0080792ed769b6e57c2acb0796651eedb1bc;hb=62abed25f0f396cd548b833805f4219cbdf79533;hp=50b2cb89c30f0f6e213f97d3b9f92d69ab1b09f1;hpb=84fa57920eb828f2ba7c124378c7ca79b3c4bd3c;p=lambda.git diff --git a/topics/_week7_monads.mdwn b/topics/_week7_monads.mdwn index 50b2cb89..da0b0080 100644 --- a/topics/_week7_monads.mdwn +++ b/topics/_week7_monads.mdwn @@ -48,5 +48,23 @@ We'll often write box types as a box containing the value of the free type variable. So if our box type is `α List`, and `α == Int`, we would write -