X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=exercises%2Fassignment7.mdwn;h=7ec7a4726fbb60a961e2de459039578b00c033db;hp=bfc171b6f0b5f512efb98c621a6937514ca4d8d3;hb=caf7c722676ab5c359ca8ab78f999445453158e6;hpb=673f410ac773ac3667d5e8faf0f036196197d301

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index bfc171b6..7ec7a472 100644
--- a/exercises/assignment7.mdwn
+++ b/exercises/assignment7.mdwn
@@ -133,3 +133,5 @@ is the singleton function `\p. [p]`, and the composition operator is:
         (* which OCaml evaluates to:
         - : int list = [49; 14; 64; 16]
         *)
+
+    Show that these obey the Monad Laws.