Default.TRAVERSE
type 'a t
type 'a applicative_t
val traverse : ('a -> 'b applicative_t) -> 'a t -> 'b t applicative_t