Module type Traversable.S

module type S = sig .. end

include Traversable.Basic

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

val sequence_ : 'a f t -> unit f