<div dir="ltr">Hello,<div><br></div><div>I am not sure what's the process for this, but I am really keen on Simon M's "Mutable constructor fields" proposal (<a href="https://github.com/ghc-proposals/ghc-proposals/pull/8">https://github.com/ghc-proposals/ghc-proposals/pull/8</a>), so I'd like to propose that we adopt it.  </div><div><br></div><div>I'd be happy to volunteer  time to work on the implementation too, if there's need for that.</div><div><br></div><div>-Iavor</div></div>