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