Parameter Semigroup.2-A

val make : S.t Q.arbitrary