Module type Functoria_misc.Monoid

type t
val empty : t
val union : t -> t -> t