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