<div dir="ltr">There's an (AFAICT) undocumented feature in Hugs, which behaves the same as GHC -XNamedFieldPuns <div><font face="monospace"><br></font></div><div><font face="monospace">><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box">

   data</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-en" style="color:rgb(36,41,47);box-sizing:border-box">Thing</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-smi" style="color:rgb(36,41,47);box-sizing:border-box">a</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box">=</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-ent" style="color:rgb(36,41,47);box-sizing:border-box">MkThing</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box">{</span><span class="gmail-pl-e" style="color:rgb(36,41,47);box-sizing:border-box">field</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box">::</span><span style="color:rgb(36,41,47)"> </span><span class="gmail-pl-smi" style="color:rgb(36,41,47);box-sizing:border-box">a</span><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box">}</span></font></div><div><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box"><font face="monospace">>    foo MkThing{ field } = field</font></span></div><div><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box"><font face="monospace">>    --           ^^^^ shorthand for { field = field }</font></span></div><div><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box"><font face="monospace"><br></font></span></div><div><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box"><font face="monospace"><br></font></span></div><div><span class="gmail-pl-k" style="color:rgb(36,41,47);box-sizing:border-box"><font face="monospace">AntC</font></span></div><pre style="box-sizing:border-box;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;margin-top:0px;margin-bottom:0px;padding:16px;overflow:auto;line-height:1.45;border-radius:6px;word-break:normal;color:rgb(36,41,47)"><br></pre><pre style="box-sizing:border-box;font-family:ui-monospace,SFMono-Regular,"SF Mono",Menlo,Consolas,"Liberation Mono",monospace;font-size:13.6px;margin-top:0px;margin-bottom:0px;padding:16px;overflow:auto;line-height:1.45;border-radius:6px;word-break:normal;color:rgb(36,41,47)"><br></pre></div>