ValueEmptySet: Lift<ValueSet<Value[]>> = ...