From: jim <jim@web>
Date: Sun, 22 Mar 2015 15:24:06 +0000 (-0400)
Subject: More explicitness
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=caf7c722676ab5c359ca8ab78f999445453158e6

More explicitness
---

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.