X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment7.mdwn;h=7ec7a4726fbb60a961e2de459039578b00c033db;hp=e9cf82371162e91fb718094a669a096e5809a337;hb=42ea318d0e066534ffd016c299eb75e7f2efcca7;hpb=7212dc7d99d0852cc195677af5ec51966a6d9065

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index e9cf8237..7ec7a472 100644
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -129,4 +129,9 @@ is the singleton function `\p. [p]`, and the composition operator is:
 
         let j a = [a; a+1];;
         let k b = [b*b; b+b];;
-        (j >=> k) 7 (* ==> [49; 14; 64; 16] *)
+        (j >=> k) 7
+        (* which OCaml evaluates to:
+        - : int list = [49; 14; 64; 16]
+        *)
+
+    Show that these obey the Monad Laws.