Module type Interfaces.GROUP

module type GROUP = sig .. end

include Interfaces.MONOID

val inverse : t -> t