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