Module type Interfaces.MONOID

module type MONOID = sig .. end

type t 

val zero : t

val plus : t -> t -> t