Fix issue #118

README.markdown

@@ -184,7 +184,7 @@ After this, the following progression of modules is recommended:
 * `Course.Apply`
 * `Course.Applicative`
 * `Course.Bind`
-* `Course.Monad`
+* `Course.Monad` (please see [this issue](https://github.com/NICTA/course/issues/118))
 * `Course.FileIO`
 * `Course.State`
 * `Course.StateT`

src/Course/Monad.hs

@@ -11,6 +11,18 @@ import Course.List
 import Course.Optional
 import qualified Prelude as P
 
+{-
+
+The only exercise here is a thinking one. The understanding that the Monad
+type-class is the coming together of its sub type-classes
+(`Applicative` and `Bind`). There are no coding exercises here. The purpose of 
+this module is simply to provide a definition for the word "monad" and that
+definition is built on previous exercises.
+
+The monad type-class provides no additional methods to `Applicative` and `Bind`.
+
+-}
+
 class (Applicative f, Bind f) => Monad f where
 
 instance Monad Id where