Module type Monoid.S

module type S = sig .. end

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