Module type Interfaces.MONOID

type t
val zero : t
val plus : t -> t -> t