Non-punning record field patterns

[LightAndLight]

Currently I can only pattern match on a record by punning its fields:

case x of
  { a, b, c } -> ...

I want to choose which fields to pun and which fields to assign custom names:

case x of
  { a, b = renamed, c } -> ...