make the setoid parameter to sequenceV-cong explicit