Improve non-exhaustive pattern witnesses for structs with multiple fields