Parameter Semiring.2-A

val make : S.t Q.arbitrary