Parameter Monoid.2-A

val make : M.t Q.arbitrary