functor (M : MONAD) ->
  sig
    type +'a t
    val sequence_m : 'a M.t CCCat.TRAVERSE.t -> 'a CCCat.TRAVERSE.t M.t
    val fold_m : ('b -> 'a -> 'b M.t) -> 'b -> 'a CCCat.TRAVERSE.t -> 'b M.t
    val map_m :
      ('a -> 'b M.t) -> 'a CCCat.TRAVERSE.t -> 'b CCCat.TRAVERSE.t M.t
  end