<html><body><font face=".AppleSystemUIFont"><span style="font-style:normal">Maybe some part of this discussion got lost.</span></font><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal">Simon PJ writes:</span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br></span></font></div><blockquote style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex" class="gmail_quote"><div><span style="color:rgb(34,34,34);font-style:normal"><font face=".AppleSystemUIFont">Let's *not* have CUSKs. We are trying to get rid of it... it'd be deeply strange to "bless" it in GHC2020.</font></span></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br style="color:rgb(34,34,34)"></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)">StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want it long term. </span></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><br style="color:rgb(34,34,34)"></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)">It's a very graceful fit with PolyKinds.</span></span></font></div></blockquote><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)"><br></span></span></font></div><div><font face=".AppleSystemUIFont"><span style="font-style:normal"><span style="color:rgb(34,34,34)"><br></span></span></font></div><div><font color="#222222"><span style="caret-color: rgb(34, 34, 34);">I would really like StandaloneTypeSignatures to be part of the default, and remove CUSKs. Thoughts on this? Is it too early?</span></font></div><div><font color="#222222"><span style="caret-color: rgb(34, 34, 34);"><br></span></font></div><div><font color="#222222"><span style="caret-color: rgb(34, 34, 34);">Regards,</span></font></div><div><font color="#222222"><span style="caret-color: rgb(34, 34, 34);">Alejandro</span></font></div></body></html>