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
Parameters:
A : Applicative.Basic2

include Traversable.Basic2
val sequence : ('u, 'a) f t -> ('u, 'a t) f
val sequence_ : ('u, 'a) f t -> ('u, unit) f