functor (A : Applicative.Basic2) ->
  sig
    val traverse : ('a -> ('u, 'b) A.t) -> 'a t -> ('u, 'b t) A.t
    val traverse_ : ('a -> ('u, 'b) A.t) -> 'a t -> ('u, unit) A.t
    val sequence : ('u, 'a) A.t t -> ('u, 'a t) A.t
    val sequence_ : ('u, 'a) A.t t -> ('u, unit) A.t
  end