XGitUrl: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Fmonad_library.mdwn;h=a9418b80335e9d14c7fe2692f3bacbb5cd7e93d0;hp=1761e61c4180124a7e9eafaf9852eac66d10a685;hb=7936567be1fea69bb7e1bb299bd3d1616b6e2dcc;hpb=fa3c0b4b86fea54a5a66f046d99e303218d5beba
diff git a/code/monad_library.mdwn b/code/monad_library.mdwn
index 1761e61c..a9418b80 100644
 a/code/monad_library.mdwn
+++ b/code/monad_library.mdwn
@@ 132,7 +132,7 @@ Some comments on the design of this library.
type ('r,'b) m = ('b > 'r) > 'r
and there both `'r` and `'b` need to be free type variables. Since we want to allow you to layer Continuation monads with the others, it vastly simplified the library to make all of the monadic types take two type parameters, even though the second will only be used by a Continuation monad you may have stacked in the monadic bundle you're using. You can pretty much ignore this; think of the `S.(unit 1)` as though it just had the type `int S.m`.

+
* The implementation of most monadic types is **hidden**. Above, when we wanted to supply an `initial_store` to a value `u` of type `('a,'b) S.m`, we did this: