Module type CCCat.MONOID

module type MONOID = sig .. end

type t 

val empty : t

val append : t -> t -> t