X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment7.mdwn;h=37a84c0c61a799b145065f1473772565e28fa8a7;hp=3d216293173ce058fb420dfbed719d2a24d0df89;hb=c8fd5635d402bd3ae8073725257bef20e161256e;hpb=31384d641cc4de93032132ae1b2756a03f2ff387 diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn index 3d216293..37a84c0c 100644 --- a/exercises/assignment7.mdwn +++ b/exercises/assignment7.mdwn @@ -112,7 +112,7 @@ More specifically, (If you have trouble keeping straight what is the OCaml terminology for this and what is the Haskell terminology, don't worry, we do too.) -Now the obvious singleton for the Option monad is `\p. Just p`. Give +Now the obvious singleton for the Option monad is `\p. Some p`. Give (or reconstruct) either of the composition operators `>=>` or `<=<`. Show that your composition operator obeys the Monad Laws.