Perhaps they were born of necessity but now they are a strictly better solution for computing on members than any other solution or language feature.

Record dot syntax is very unappealing. Would way prefer automatic lenses, or just some principled way to qualify using the constructor or equivalent. And take your hands off my compose operator tyvm!