functor (M : MONAD) ->
  sig
    val sequence_m : ('a M.t, 'err) CCError.t -> ('a, 'err) CCError.t M.t
    val fold_m : ('b -> 'a -> 'b M.t) -> 'b -> ('a, 'err) CCError.t -> 'b M.t
    val map_m :
      ('a -> 'b M.t) -> ('a, 'err) CCError.t -> ('b, 'err) CCError.t M.t
    val retry_m :
      int ->
      (unit -> ('a, 'err) CCError.t M.t) -> ('a, 'err list) CCError.t M.t
  end