functor (M : Basic3) ->
  sig
    val bind :
      ('a -> ('p, 'q, 'b) M.t) -> ('p, 'q, 'a) M.t -> ('p, 'q, 'b) M.t
    val pure : 'a -> ('p, 'q, 'a) M.t
    val ap :
      ('p, 'q, 'a -> 'b) M.t ->
      (unit -> ('p, 'q, 'a) M.t) -> ('p, 'q, 'b) M.t
    val map : ('a -> 'b) -> ('p, 'q, 'a) M.t -> ('p, 'q, 'b) M.t
    val ( >|= ) : ('p, 'q, 'a) M.t -> ('a -> 'b) -> ('p, 'q, 'b) M.t
    val replace : 'a -> ('p, 'q, 'b) M.t -> ('p, 'q, 'a) M.t
    val void : ('p, 'q, 'a) M.t -> ('p, 'q, unit) M.t
    val ap' : ('p, 'q, 'a -> 'b) M.t -> ('p, 'q, 'a) M.t -> ('p, 'q, 'b) M.t
    val ( <*> ) :
      ('p, 'q, 'a -> 'b) M.t -> ('p, 'q, 'a) M.t -> ('p, 'q, 'b) M.t
    val ( <~> ) :
      ('p, 'q, 'a -> 'b) M.t ->
      (unit -> ('p, 'q, 'a) M.t) -> ('p, 'q, 'b) M.t
    val discard_left :
      ('p, 'q, 'a) M.t -> (unit -> ('p, 'q, 'b) M.t) -> ('p, 'q, 'b) M.t
    val discard_right :
      ('p, 'q, 'a) M.t -> (unit -> ('p, 'q, 'b) M.t) -> ('p, 'q, 'a) M.t
    val repeat : int -> ('p, 'q, 'a) M.t -> ('p, 'q, 'a list) M.t
    val repeat_ : int -> ('p, 'q, 'a) M.t -> ('p, 'q, unit) M.t
    val forever : ('p, 'q, 'a) M.t -> ('p, 'q, 'b) M.t
    val ( >>= ) :
      ('p, 'q, 'a) M.t -> ('a -> ('p, 'q, 'b) M.t) -> ('p, 'q, 'b) M.t
    val join : ('p, 'q, ('p, 'q, 'a) M.t) M.t -> ('p, 'q, 'a) M.t
    val mcompose :
      ('b -> ('p, 'q, 'c) M.t) ->
      ('a -> ('p, 'q, 'b) M.t) -> 'a -> ('p, 'q, 'c) M.t
  end