*)
-let int_readerize : int -> int reader =
+let int_readerize : int -> int Reader_monad.monad =
fun (a : int) -> fun (env : int -> int) -> env a;;
(* int_readerize takes an int and returns a Reader monad that
-let incrementer : int -> int state =
+let incrementer : int -> int State_monad.monad =
fun (a : int) -> fun s -> (a, s+1);;
(* incrementer takes an 'a and returns it wrapped in a
(* do nothing *)
let initial_continuation = fun t -> t in
-TreeCont.monadize cont_unit t1 initial_continuation;;
+TreeCont.monadize Continuation_monad.unit t1 initial_continuation;;
(* convert tree to list of leaves *)
let initial_continuation = fun t -> [] in