Currently, the snippets for records generate things like this:
Foo {foo = _foo}

I don't like that because if there are multiple fields, I need to delete tons of placeholders (and I usually don't go through them by tabbing) and it works really bad with fields that e.g. follow the _ lens convention (because then it generates things like Foo {_foo = __foo} which is even more noise.

Is there a specific reason why we couldn't start at NamedFieldPuns ala
MkFoo {foo, bar, baz} and then let the user extend if they want to give their fields an alias?

Thank you ~