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