Module Monoid.Int.Sum

module Sum: Monoid.S  with type t = int

type t 
val append : t -> t -> t
val zero : t