sig
  module type Basic =
    sig
      type _ t
      val map : ('a -> 'b) -> 'a t -> 'b t
      val pure : 'a -> 'a t
      val ap : ('a -> 'b) t -> (unit -> 'a t) -> 'b t
      val bind : ('a -> 'b t) -> 'a t -> 'b t
    end
  module type Basic2 =
    sig
      type (_, _) t
      val map : ('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t
      val pure : 'a -> ('p, 'a) t
      val ap : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
      val bind : ('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t
    end
  module type Basic3 =
    sig
      type (_, _, _) t
      val map : ('a -> 'b) -> ('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 bind : ('a -> ('p, 'q, 'b) t) -> ('p, 'q, 'a) t -> ('p, 'q, 'b) t
    end
  module type S =
    sig
      type _ t
      val bind : ('a -> 'b t) -> 'a t -> 'b t
      val pure : 'a -> 'a t
      val ap : ('a -> 'b) t -> (unit -> 'a t) -> 'b t
      val map : ('a -> 'b) -> 'a t -> 'b t
      val ( >|= ) : 'a t -> ('a -> 'b) -> 'b t
      val replace : 'a -> 'b t -> 'a t
      val void : 'a t -> unit t
      val ap' : ('a -> 'b) t -> 'a t -> 'b t
      val ( <*> ) : ('a -> 'b) t -> 'a t -> 'b t
      val ( <~> ) : ('a -> 'b) t -> (unit -> 'a t) -> 'b t
      val discard_left : 'a t -> (unit -> 'b t) -> 'b t
      val discard_right : 'a t -> (unit -> 'b t) -> 'a t
      val repeat : int -> 'a t -> 'a list t
      val repeat_ : int -> 'a t -> unit t
      val forever : 'a t -> 'b t
      val ( >>= ) : 'a Monad.S.t -> ('a -> 'b Monad.S.t) -> 'b Monad.S.t
      val join : 'a Monad.S.t Monad.S.t -> 'a Monad.S.t
      val mcompose :
        ('b -> 'c Monad.S.t) -> ('a -> 'b Monad.S.t) -> 'a -> 'c Monad.S.t
    end
  module type S2 =
    sig
      type (_, _) t
      val bind : ('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t
      val pure : 'a -> ('p, 'a) t
      val ap : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
      val map : ('a -> 'b) -> ('p, 'a) t -> ('p, 'b) t
      val ( >|= ) : ('p, 'a) t -> ('a -> 'b) -> ('p, 'b) t
      val replace : 'a -> ('p, 'b) t -> ('p, 'a) t
      val void : ('p, 'a) t -> ('p, unit) t
      val ap' : ('p, 'a -> 'b) t -> ('p, 'a) t -> ('p, 'b) t
      val ( <*> ) : ('p, 'a -> 'b) t -> ('p, 'a) t -> ('p, 'b) t
      val ( <~> ) : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t
      val discard_left : ('p, 'a) t -> (unit -> ('p, 'b) t) -> ('p, 'b) t
      val discard_right : ('p, 'a) t -> (unit -> ('p, 'b) t) -> ('p, 'a) t
      val repeat : int -> ('p, 'a) t -> ('p, 'a list) t
      val repeat_ : int -> ('p, 'a) t -> ('p, unit) t
      val forever : ('p, 'a) t -> ('p, 'b) t
      val ( >>= ) :
        ('p, 'a) Monad.S2.t ->
        ('a -> ('p, 'b) Monad.S2.t) -> ('p, 'b) Monad.S2.t
      val join : ('p, ('p, 'a) Monad.S2.t) Monad.S2.t -> ('p, 'a) Monad.S2.t
      val mcompose :
        ('b -> ('p, 'c) Monad.S2.t) ->
        ('a -> ('p, 'b) Monad.S2.t) -> 'a -> ('p, 'c) Monad.S2.t
    end
  module type S3 =
    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
  module Make :
    functor (M : Basic) ->
      sig
        val bind : ('a -> 'b M.t) -> 'a M.t -> 'b M.t
        val pure : 'a -> 'a M.t
        val ap : ('a -> 'b) M.t -> (unit -> 'a M.t) -> 'b M.t
        val map : ('a -> 'b) -> 'a M.t -> 'b M.t
        val ( >|= ) : 'a M.t -> ('a -> 'b) -> 'b M.t
        val replace : 'a -> 'b M.t -> 'a M.t
        val void : 'a M.t -> unit M.t
        val ap' : ('a -> 'b) M.t -> 'a M.t -> 'b M.t
        val ( <*> ) : ('a -> 'b) M.t -> 'a M.t -> 'b M.t
        val ( <~> ) : ('a -> 'b) M.t -> (unit -> 'a M.t) -> 'b M.t
        val discard_left : 'a M.t -> (unit -> 'b M.t) -> 'b M.t
        val discard_right : 'a M.t -> (unit -> 'b M.t) -> 'a M.t
        val repeat : int -> 'a M.t -> 'a list M.t
        val repeat_ : int -> 'a M.t -> unit M.t
        val forever : 'a M.t -> 'b M.t
        val ( >>= ) : 'a M.t -> ('a -> 'b M.t) -> 'b M.t
        val join : 'a M.t M.t -> 'a M.t
        val mcompose : ('b -> 'c M.t) -> ('a -> 'b M.t) -> 'a -> 'c M.t
      end
  module Make2 :
    functor (M : Basic2) ->
      sig
        val bind : ('a -> ('p, 'b) M.t) -> ('p, 'a) M.t -> ('p, 'b) M.t
        val pure : 'a -> ('p, 'a) M.t
        val ap : ('p, 'a -> 'b) M.t -> (unit -> ('p, 'a) M.t) -> ('p, 'b) M.t
        val map : ('a -> 'b) -> ('p, 'a) M.t -> ('p, 'b) M.t
        val ( >|= ) : ('p, 'a) M.t -> ('a -> 'b) -> ('p, 'b) M.t
        val replace : 'a -> ('p, 'b) M.t -> ('p, 'a) M.t
        val void : ('p, 'a) M.t -> ('p, unit) M.t
        val ap' : ('p, 'a -> 'b) M.t -> ('p, 'a) M.t -> ('p, 'b) M.t
        val ( <*> ) : ('p, 'a -> 'b) M.t -> ('p, 'a) M.t -> ('p, 'b) M.t
        val ( <~> ) :
          ('p, 'a -> 'b) M.t -> (unit -> ('p, 'a) M.t) -> ('p, 'b) M.t
        val discard_left :
          ('p, 'a) M.t -> (unit -> ('p, 'b) M.t) -> ('p, 'b) M.t
        val discard_right :
          ('p, 'a) M.t -> (unit -> ('p, 'b) M.t) -> ('p, 'a) M.t
        val repeat : int -> ('p, 'a) M.t -> ('p, 'a list) M.t
        val repeat_ : int -> ('p, 'a) M.t -> ('p, unit) M.t
        val forever : ('p, 'a) M.t -> ('p, 'b) M.t
        val ( >>= ) : ('p, 'a) M.t -> ('a -> ('p, 'b) M.t) -> ('p, 'b) M.t
        val join : ('p, ('p, 'a) M.t) M.t -> ('p, 'a) M.t
        val mcompose :
          ('b -> ('p, 'c) M.t) -> ('a -> ('p, 'b) M.t) -> 'a -> ('p, 'c) M.t
      end
  module Make3 :
    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
end