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