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