[Haskell-cafe] Partial record access

[Tom Ellis]

On Fri, Nov 19, 2021 at 11:24:39AM +0200, Georgi Lyubenov wrote:
> Is there a reason why we don't generate HasField x r a only when all of the
> constructors for r have a field "x" :: a? If not, is the community open to
> changing this, while the new extension is still ripe?

Let's change it please!  Partial record fields are a massive wart
which we shouldn't perpetuate into related features.