<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">I'm thumbs up -- but I have added a post with a list of suggested presentational cleanups.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">(Adam if you are worn out I suppose I could execute on them myself. I don't want to keep erecting new obstacles.)</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><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, 9 Apr 2025 at 03:31, Jakob Brünker via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div>Hi,<br><br></div>The updated proposal looks good to me!<br><br></div>Jakob</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Apr 8, 2025 at 11:00 AM Adam Gundry via ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I have now updated this proposal on the basis of the vote:<br>
<br>
<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
<br>
Please take a look and let me know if you are happy with the current <br>
state of the PR, or have any remaining concerns.<br>
<br>
Thanks,<br>
<br>
Adam<br>
<br>
P.S. I will be away on holiday over the next couple of weeks, so <br>
apologies in advance for any delays in response.<br>
<br>
<br>
On 07/04/2025 16:21, Adam Gundry via ghc-steering-committee wrote:<br>
> Thanks everyone for your responses to this. There seems to be a fairly <br>
> clear consensus that the preferred option is B. (5 votes have B in first <br>
> place, then 3 others either rate A and B equally or weakly prefer A to <br>
> B.) Thus I plan to revise the proposal accordingly.<br>
> <br>
> Adam<br>
> <br>
> <br>
> <br>
> On 02/04/2025 10:26, Matthías Páll Gissurarson via <br>
> ghc-steering-committee wrote:<br>
>> I have a slight preference for B over A. The point that [2] brings up <br>
>> is a good one, it seems better to allow row.“foo bar”, especially when <br>
>> reading CSV or JSON as they mention.<br>
>><br>
>> So my preference is B>A>C>D<br>
>><br>
>> /Matti Palli<br>
>><br>
>><br>
>> On Wed, Apr 2, 2025 at 07:56 Arnaud Spiwack via ghc-steering-committee <br>
>> <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a> <br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>> wrote:<br>
>><br>
>> My preference is<br>
>> A>B>C>D<br>
>><br>
>> Though my preference between A and B is weak. Whatever's easier <br>
>> really.<br>
>><br>
>> On Thu, 20 Mar 2025 at 19:04, Simon Marlow via<br>
>> ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>> wrote:<br>
>><br>
>> I don't feel all that strongly except that C seems like a bad<br>
>> idea. A = B > D > C<br>
>><br>
>> Cheers<br>
>> Simon<br>
>><br>
>> On Wed, 19 Mar 2025 at 21:49, Adam Gundry via<br>
>> ghc-steering-committee <<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>> wrote:<br>
>><br>
>> Hi everyone,<br>
>><br>
>> This proposal [0] has been lingering for quite some time,<br>
>> unfortunately.<br>
>> So we can make progress, I've tried to summarise our options<br>
>> below;<br>
>> please vote for your preferred option in the next week or<br>
>> two. Once we<br>
>> have decided on our preferred course of action, I'll make<br>
>> any necessary<br>
>> editorial changes to the proposal.<br>
>><br>
>> To recap, the idea is to extend OverloadedRecordDot such<br>
>> that it permits<br>
>> record selection expressions such as<br>
>><br>
>> foo.type -> getField @"type" foo<br>
>><br>
>> even though `type` is a keyword and hence not a valid record<br>
>> field in a<br>
>> traditional datatype declarations. This is primarily<br>
>> motivated by the<br>
>> use of OverloadedRecordDot in libraries such as `persistent`<br>
>> (see [1]),<br>
>> which will generate instances like this:<br>
>><br>
>> instance HasField "type" SomeRecord SomeField1 where<br>
>> getField = ...<br>
>><br>
>> instance HasField "bar" SomeRecord SomeField2 where<br>
>> getField = ...<br>
>><br>
>> Both these instances are accepted, so it is quite surprising<br>
>> and<br>
>> annoying that `foo.type` is a syntax error, even though<br>
>> `foo.bar` will<br>
>> be accepted (and turn into a call to `getField @"bar"`).<br>
>><br>
>> As a small syntactic change, the proposal has lead to quite<br>
>> some<br>
>> discussion and a few plausible alternatives:<br>
>><br>
>> A. Accept the proposal as it stands, since it is the<br>
>> smallest change<br>
>> that resolves the issue.<br>
>><br>
>> B. Extend the proposal to permit still wider syntax, e.g.<br>
>> `foo.Uppercase` or `foo."quoted string"`, motivated by<br>
>> consistency with<br>
>> OverloadedLabels and use cases such as [2]. This seems<br>
>> reasonable to me.<br>
>><br>
>> C. Extend the proposal to permit keywords such as `type`<br>
>> to be used as<br>
>> field names in traditional record syntax, e.g. `data Foo =<br>
>> Foo { type ::<br>
>> Int }`. In my view this is unnecessary complexity that<br>
>> mistakenly<br>
>> conflates OverloadedRecordDot with traditional record<br>
>> syntax; the<br>
>> motivation for keywords as selector names comes from uses of<br>
>> OverloadedRecordDot that do not involve traditional record<br>
>> syntax.<br>
>><br>
>> D. Reject the proposal entirely, e.g. due to worries<br>
>> about syntax<br>
>> highlighting.<br>
>><br>
>> Please reply with your preference order amongst these<br>
>> options. My vote<br>
>> is B > A > C > D.<br>
>><br>
>> Thanks,<br>
>><br>
>> Adam<br>
>><br>
>><br>
>> [0] <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
>> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a>><br>
>><br>
>> [1]<br>
>> <br>
>> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397</a> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2561282397</a>><br>
>><br>
>> [2]<br>
>> <br>
>> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901</a> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#issuecomment-2564274901</a>><br>
>><br>
>><br>
>><br>
>> On 05/11/2024 13:58, Arnaud Spiwack wrote:<br>
>> > I have no opinion on this. But I've seen two points in<br>
>> the thread which<br>
>> > make sense: Vlad, our guardian of the parser, says that<br>
>> it's a good<br>
>> > idea, and the comparison with OverloadedLabel (made by<br>
>> Vlad and others)<br>
>> > is apt, and the symmetry is desirable. Ideally the<br>
>> comparison with<br>
>> > OverloadedLabel should be made in the Alternatives<br>
>> section, but I don't<br>
>> > feel like insisting about it :) .<br>
>> ><br>
>> > On Sat, 2 Nov 2024 at 21:21, Simon Peyton Jones<br>
>> > <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a><br>
>> <mailto:<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>><br>
>> <mailto:<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a><br>
>> <mailto:<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>>>> wrote:<br>
>> ><br>
>> > I'm in support too, but I have made some substantive<br>
>> suggestions on<br>
>> > the GitHub ticket that I'd like to see addressed<br>
>> before we tie a bow<br>
>> > on this.<br>
>> ><br>
>> > Simon<br>
>> ><br>
>> > On Sat, 2 Nov 2024 at 09:25, Sebastian Graf<br>
>> <<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a> <mailto:<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a>><br>
>> > <mailto:<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a><br>
>> <mailto:<a href="mailto:sgraf1337@gmail.com" target="_blank">sgraf1337@gmail.com</a>>>> wrote:<br>
>> ><br>
>> > I'm in support as well, but would like to see a<br>
>> single<br>
>> > clarifying sentence added to the proposal.<br>
>> ><br>
>> <br>
>> <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a>> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668#discussion_r1826533003</a>>><br>
>> ><br>
>> > Am Sa., 2. Nov. 2024 um 07:29 Uhr schrieb Erik de<br>
>> Castro Lopo<br>
>> > <<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a> <mailto:<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>><br>
>> <mailto:<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a> <mailto:<a href="mailto:erikd@mega-nerd.com" target="_blank">erikd@mega-nerd.com</a>>>>:<br>
>> ><br>
>> ><br>
>> ><br>
>> > I am in support.<br>
>> ><br>
>> > Erik<br>
>> ><br>
>> > Matthías Páll Gissurarson wrote:<br>
>> ><br>
>> > > I’m in support. No need to keep<br>
>> reservations longer than<br>
>> > necessary.<br>
>> > ><br>
>> > > /Matti Palli<br>
>> > ><br>
>> > ><br>
>> > > On Fri, Nov 1, 2024 at 23:22 Malte Ott<br>
>> > <<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a><br>
>> <mailto:<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a>> <mailto:<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a><br>
>> <mailto:<a href="mailto:malte.ott@maralorn.de" target="_blank">malte.ott@maralorn.de</a>>>> wrote:<br>
>> > ><br>
>> > > ><br>
>> > > > On 2024-10-29 20:12, Adam Gundry wrote:<br>
>> > > > ><br>
>> > <a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
>> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a>><br>
>> > <br>
>> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a><br>
>> <<a href="https://github.com/ghc-proposals/ghc-proposals/pull/668" rel="noreferrer" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/668</a>>><br>
>> > > ><br>
>> > > > I’m in support.<br>
>> > > ><br>
>> > > > Best<br>
>> > > > Malte<br>
>> > > ><br>
>> _______________________________________________<br>
>> > > > ghc-steering-committee mailing list<br>
>> > > > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> > <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>><br>
>> > > ><br>
>> ><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>>><br>
>> > > ><br>
>> ><br>
>> ><br>
>> > --<br>
>> > <br>
>> ----------------------------------------------------------------------<br>
>> > Erik de Castro Lopo<br>
>> > <a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a> <<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a>><br>
>> <<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a> <<a href="http://www.mega-nerd.com/" rel="noreferrer" target="_blank">http://www.mega-nerd.com/</a>>><br>
>> > <br>
>> _______________________________________________<br>
>> > ghc-steering-committee mailing list<br>
>> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> > <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>><br>
>> ><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>>><br>
>> ><br>
>> > _______________________________________________<br>
>> > ghc-steering-committee mailing list<br>
>> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> > <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>><br>
>> ><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>>><br>
>> ><br>
>> > _______________________________________________<br>
>> > ghc-steering-committee mailing list<br>
>> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> > <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>>><br>
>> ><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>>><br>
>> ><br>
>> ><br>
>> ><br>
>> > --<br>
>> > Arnaud Spiwack<br>
>> > Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a><br>
>> <<a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a>> <<a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a><br>
>> <<a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a>>><br>
>> > and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a><br>
>> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>>>.<br>
>> ><br>
>> > _______________________________________________<br>
>> > ghc-steering-committee mailing list<br>
>> > <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> ><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
>><br>
>> -- Adam Gundry, Haskell Consultant<br>
>> Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
>> <<a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a>><br>
>><br>
>> Registered in England & Wales, OC335890<br>
>> 27 Old Gloucester Street, London WC1N 3AX, England<br>
>> <br>
>> <<a href="https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g" rel="noreferrer" target="_blank">https://www.google.com/maps/search/27+Old+Gloucester+Street,+London+WC1N+3AX,+England?entry=gmail&source=g</a>><br>
>><br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
>><br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
>><br>
>><br>
>><br>
>> -- Arnaud Spiwack<br>
>> Director, Research at <a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a><br>
>> <<a href="https://moduscreate.com" rel="noreferrer" target="_blank">https://moduscreate.com</a>> and <a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a> <<a href="https://tweag.io" rel="noreferrer" target="_blank">https://tweag.io</a>>.<br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <mailto:<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a>><br>
>> <br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a> <<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a>><br>
>><br>
>><br>
>> _______________________________________________<br>
>> ghc-steering-committee mailing list<br>
>> <a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
>> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
> <br>
<br>
-- <br>
Adam Gundry, Haskell Consultant<br>
Well-Typed LLP, <a href="https://www.well-typed.com/" rel="noreferrer" target="_blank">https://www.well-typed.com/</a><br>
<br>
Registered in England & Wales, OC335890<br>
27 Old Gloucester Street, London WC1N 3AX, England<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>