<div dir="ltr"><div style="font-family:tahoma,sans-serif" class="gmail_default"></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm happy to accept this proposal.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"></div><div class="gmail_default" style="font-family:tahoma,sans-serif">
<pre style="margin-left:40px">B > A > C > D.</pre>

As you'll see on the <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2724063625">GitHub thread</a>, I have convinced myself that (C), allowing keywords in traditional record syntax, is untenable.  And I really don't think we should reject (D).</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm favouring (B) over (A) for simple consistency reasons; the fewer exceptions the better.  Plus at least one person has said the extra generality would be useful.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon</div></div>