<html><body><div dir=""><div dir="ltr">
    <div dir="ltr">I also agree with acceptance now.</div><div dir="ltr"><br></div><div dir="ltr">Alejandro</div><br>
    <div class="gmail_quote">
        <div dir="ltr" class="gmail_attr">On 12 Apr 2021 at 09:17:38, Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</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>
<div>
    I concur.<br><br>Am Sonntag, den 11.04.2021, 14:27 -0400 schrieb Eric Seidel:<br><blockquote type="cite"> Thanks, I'm happy with the proposal now.<br></blockquote><blockquote type="cite"> <br></blockquote><blockquote type="cite"> On Wed, Apr 7, 2021, at 14:47, Richard Eisenberg wrote:<br></blockquote><blockquote type="cite"> > Hi all,<br></blockquote><blockquote type="cite"> > <br></blockquote><blockquote type="cite"> > The author of #402 (our own Vladislav) has modified it to remove the <br></blockquote><blockquote type="cite"> > bit about dropping parentheses. The proposal is now solely about <br></blockquote><blockquote type="cite"> > liberalizing the existing syntax to allow arbitrary nesting of <br></blockquote><blockquote type="cite"> > quantifiers in non-record constructors. My recommendation remains to <br></blockquote><blockquote type="cite"> > accept.<br></blockquote><blockquote type="cite"> > <br></blockquote><blockquote type="cite"> > Are there other further thoughts here?<br></blockquote><blockquote type="cite"> > <br></blockquote><blockquote type="cite"> > Thanks,<br></blockquote><blockquote type="cite"> > Richard<br></blockquote><blockquote type="cite"> > _______________________________________________<br></blockquote><blockquote type="cite"> > ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> > <a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> > <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></blockquote><blockquote type="cite"> > <br></blockquote><blockquote type="cite"> _______________________________________________<br></blockquote><blockquote type="cite"> ghc-steering-committee mailing list<br></blockquote><blockquote type="cite"> <a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br></blockquote><blockquote type="cite"> <a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br></blockquote>-- <br>Joachim Breitner<br>  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>  <a href="http://www.joachim-breitner.de/">http://www.joachim-breitner.de/</a><br><br><br>_______________________________________________<br>ghc-steering-committee mailing list<br><a href="mailto:ghc-steering-committee@haskell.org">ghc-steering-committee@haskell.org</a><br><a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</div>
</div>
        </blockquote>
    </div>
</div></div></body></html>