public override Ops combine(Ops y) { return y.opsWith(this); }
public Ops combine(Ops y) { return y.opsWith(this); }