More explicitness

[lambda.git] / exercises / assignment7.mdwn

diff --git a/exercises/assignment7.mdwn b/exercises/assignment7.mdwn
index bfc171b..7ec7a47 100644 (file)
--- 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.