module Sum: Monoid.S with type t = int
Monoid.S
with type t = int
type t
val append : t -> t -> t
t -> t -> t
val zero : t
t