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