Functor Vector.A

module A: 
functor (A : Applicative.Basic) -> Traversable.S  with
  type 'a t := 'a t and
  type 'a f := 'a A.t

include Traversable.Basic

val sequence : 'a f t -> 'a t f

val sequence_ : 'a f t -> unit f