module Tree_monadizer(X : sig
(* the module we're using as a parameter has to supply function values
- * for unit and bind, as well as a monadic type constructor m *)
+ * for unit and bind, as well as a monadic type constructor *)
type 'a monad
val unit : 'a -> 'a monad
val bind : 'a monad -> ('a -> 'b monad) -> 'b monad
TreeReader.monadize int_readerize t1 env;;
(* You can also avoid declaring a separate toplevel TreeReader module
- * (or even a separate Reader_monad module) by ysing one of these forms:
+ * (or even a separate Reader_monad module) by using one of these forms:
* ...
* let module T = Tree_monadizer(Reader_monad) in
* T.monadize int_readerize t1 env;;