rw_lock: add Proper instances
This was more tricky than it is for locks since the predicate is more higher-order... and since we usually avoid stating things with -n>
when we can.
This was more tricky than it is for locks since the predicate is more higher-order... and since we usually avoid stating things with -n>
when we can.