module type S3 = sig .. end
sig
end
include Traversable.Basic3
val sequence : ('a, 'b, 'c) f t -> ('a, 'b, 'c t) f
('a, 'b, 'c) f t -> ('a, 'b, 'c t) f
val sequence_ : ('a, 'b, 'c) f t -> ('a, 'b, unit) f
('a, 'b, 'c) f t -> ('a, 'b, unit) f