sig
  module type Basic =
    sig
      type _ t
      val map : ('a -> 'b) -> 'a Functor.Basic.t -> 'b Functor.Basic.t
    end
  module type Basic2 =
    sig
      type (_, _) t
      val map :
        ('a -> 'b) -> ('p, 'a) Functor.Basic2.t -> ('p, 'b) Functor.Basic2.t
    end
  module type Basic3 =
    sig
      type (_, _, _) t
      val map :
        ('a -> 'b) ->
        ('p, 'q, 'a) Functor.Basic3.t -> ('p, 'q, 'b) Functor.Basic3.t
    end
  module type S =
    sig
      type _ 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
    end
  module type S2 =
    sig
      type (_, _) 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
    end
  module type S3 =
    sig
      type (_, _, _) 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
    end
  module Make :
    functor (F : Basic) ->
      sig
        val map : ('a -> 'b) -> 'a F.t -> 'b F.t
        val ( >|= ) : 'a F.t -> ('a -> 'b) -> 'b F.t
        val replace : 'a -> 'b F.t -> 'a F.t
        val void : 'a F.t -> unit F.t
      end
  module Make2 :
    functor (F : Basic2) ->
      sig
        val map : ('a -> 'b) -> ('p, 'a) F.t -> ('p, 'b) F.t
        val ( >|= ) : ('p, 'a) F.t -> ('a -> 'b) -> ('p, 'b) F.t
        val replace : 'a -> ('p, 'b) F.t -> ('p, 'a) F.t
        val void : ('p, 'a) F.t -> ('p, unit) F.t
      end
  module Make3 :
    functor (F : Basic3) ->
      sig
        val map : ('a -> 'b) -> ('p, 'q, 'a) F.t -> ('p, 'q, 'b) F.t
        val ( >|= ) : ('p, 'q, 'a) F.t -> ('a -> 'b) -> ('p, 'q, 'b) F.t
        val replace : 'a -> ('p, 'q, 'b) F.t -> ('p, 'q, 'a) F.t
        val void : ('p, 'q, 'a) F.t -> ('p, 'q, unit) F.t
      end
end