Parameter Lattice.2-A

val make : L.t Q.arbitrary