Functor Clarity_list.A3

module A3: 
functor (A : Applicative.Basic3) -> Traversable.S3 with type 'a t := 'a t and type ('u, 'v, 'a) f := ('u, 'v, 'a) A.t
Parameters:
A : Applicative.Basic3

include Traversable.Basic3
val sequence : ('a, 'b, 'c) f t -> ('a, 'b, 'c t) f
val sequence_ : ('a, 'b, 'c) f t -> ('a, 'b, unit) f