Parameter Quasigroup.2-A

val make : QG.t Q.arbitrary