Maybe some part of this discussion got lost.

Simon PJ writes:

Let's *not* have CUSKs. We are trying to get rid of it... it'd be deeply strange to "bless" it in GHC2020.

StandaloneKindSignatures is clearly the Right Thing. I'm sure we'll want it long term.

It's a very graceful fit with PolyKinds.

I would really like StandaloneTypeSignatures to be part of the default, and remove CUSKs. Thoughts on this? Is it too early?

Regards,

Alejandro