Functor Clarity_list.A2

module A2: 
functor (A : Applicative.Basic2) -> Traversable.S2  with
  type 'a t := 'a t and
  type ('u, 'a) f := ('u, 'a) A.t

include Traversable.Basic2

val sequence : ('u, 'a) f t -> ('u, 'a t) f

val sequence_ : ('u, 'a) f t -> ('u, unit) f