module Group: sig .. end
sig
end
Groups.
module type T = sig .. end
A group.
module type Abelian = sig .. end
An abelian group (with additive conventions).