sig
  module type Basic =
    sig
      type _ t
      type _ f
      val traverse :
        ('a -> 'b Traversable.Basic.f) ->
        'a Traversable.Basic.t -> 'b Traversable.Basic.t Traversable.Basic.f
      val traverse_ :
        ('a -> 'b Traversable.Basic.f) ->
        'a Traversable.Basic.t -> unit Traversable.Basic.f
    end
  module type Basic2 =
    sig
      type _ t
      type (_, _) f
      val traverse :
        ('a -> ('u, 'b) Traversable.Basic2.f) ->
        'a Traversable.Basic2.t ->
        ('u, 'b Traversable.Basic2.t) Traversable.Basic2.f
      val traverse_ :
        ('a -> ('u, 'b) Traversable.Basic2.f) ->
        'a Traversable.Basic2.t -> ('u, unit) Traversable.Basic2.f
    end
  module type Basic3 =
    sig
      type _ t
      type (_, _, _) f
      val traverse :
        ('a -> ('u, 'v, 'b) Traversable.Basic3.f) ->
        'a Traversable.Basic3.t ->
        ('u, 'v, 'b Traversable.Basic3.t) Traversable.Basic3.f
      val traverse_ :
        ('a -> ('u, 'v, 'b) Traversable.Basic3.f) ->
        'a Traversable.Basic3.t -> ('u, 'v, unit) Traversable.Basic3.f
    end
  module type S =
    sig
      type _ t
      type _ f
      val traverse : ('a -> 'b f) -> 'a t -> 'b t f
      val traverse_ : ('a -> 'b f) -> 'a t -> unit f
      val sequence : 'a f t -> 'a t f
      val sequence_ : 'a f t -> unit f
    end
  module type S2 =
    sig
      type _ t
      type (_, _) f
      val traverse : ('a -> ('u, 'b) f) -> 'a t -> ('u, 'b t) f
      val traverse_ : ('a -> ('u, 'b) f) -> 'a t -> ('u, unit) f
      val sequence : ('u, 'a) f t -> ('u, 'a t) f
      val sequence_ : ('u, 'a) f t -> ('u, unit) f
    end
  module type S3 =
    sig
      type _ t
      type (_, _, _) f
      val traverse : ('a -> ('u, 'v, 'b) f) -> 'a t -> ('u, 'v, 'b t) f
      val traverse_ : ('a -> ('u, 'v, 'b) f) -> 'a t -> ('u, 'v, unit) f
      val sequence : ('a, 'b, 'c) f t -> ('a, 'b, 'c t) f
      val sequence_ : ('a, 'b, 'c) f t -> ('a, 'b, unit) f
    end
  module Make :
    functor (T : Basic) ->
      sig
        val traverse : ('a -> 'b T.f) -> 'a T.t -> 'b T.t T.f
        val traverse_ : ('a -> 'b T.f) -> 'a T.t -> unit T.f
        val sequence : 'a T.f T.t -> 'a T.t T.f
        val sequence_ : 'a T.f T.t -> unit T.f
      end
  module Make2 :
    functor (T : Basic2) ->
      sig
        val traverse : ('a -> ('u, 'b) T.f) -> 'a T.t -> ('u, 'b T.t) T.f
        val traverse_ : ('a -> ('u, 'b) T.f) -> 'a T.t -> ('u, unit) T.f
        val sequence : ('u, 'a) T.f T.t -> ('u, 'a T.t) T.f
        val sequence_ : ('u, 'a) T.f T.t -> ('u, unit) T.f
      end
  module Make3 :
    functor (T : Basic3) ->
      sig
        val traverse :
          ('a -> ('u, 'v, 'b) T.f) -> 'a T.t -> ('u, 'v, 'b T.t) T.f
        val traverse_ :
          ('a -> ('u, 'v, 'b) T.f) -> 'a T.t -> ('u, 'v, unit) T.f
        val sequence : ('a, 'b, 'c) T.f T.t -> ('a, 'b, 'c T.t) T.f
        val sequence_ : ('a, 'b, 'c) T.f T.t -> ('a, 'b, unit) T.f
      end
end