-Q src RecordUpdate
-arg -w -arg +deprecated-instance-without-locality
-arg -w -arg +undeclared-scope
src/RecordSet.v
src/RecordUpdate.v
src/Lens.v
