I'm strongly in favour of this proposal. There are really two bits * Stop distinguishing -XPolyKinds and -XTypeInType. This is a straight win. I implement GHC and I could not tell you the precise description. The distinction serves no useful purpose: the ONLY reason for retaining it is to avoid back-compat worries, and that is not a good reason to perpetuate special cases into the indefinite future * Stop treating '*' specially, with a flag to get the old behaviour. I support this plan too. It was really a mistake to use an operator symbol as a type name in the first place. Having a flag to recover the current behaviour is a reasonable mitigation path. Let's do it! Simon | -----Original Message----- | From: ghc-steering-committee [mailto:ghc-steering-committee- | bounces@haskell.org] On Behalf Of Joachim Breitner | Sent: 19 December 2017 02:53 | To: ghc-steering-committee@haskell.org | Subject: [ghc-steering-committee] Please review: embrace Type::Type, | Shepherd: Iavor | | Dear Committee, | | this is your secretary speaking: | | Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc- | proposals%2Fpull%2F83&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e034 | 0422c0508d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63649248810 | 8056862&sdata=TcjDdAfP3cDMWfiKMNjzTG98iKzoCIeG6SoDvAdpSHs%3D&reserved=0 | | I propose Yavor Diatchki as the Shepherd. | | Yavor, please reach consensus as described in | https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com% | 2Fghc-proposals%2Fghc-proposals%23committee- | process&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c0508d5468 | badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862&sdata= | 7tIMsZ3f1ywmuHTJXqlA%2BtGKfUV5X3rRMcNxtyJDeSQ%3D&reserved=0 | | I suggest you make a recommendation about the decision, maybe point out | debatable points, and assume that anyone who stays quiet agrees with you. | | Thanks, | Joachim | -- | Joachim Breitner | mail@joachim-breitner.de | | https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim- | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C3c755ac86e0340422c05 | 08d5468badbf%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636492488108056862 | &sdata=jGkyiDO6oIs2kidTiRSqp0o1J0kZRrgpPbyA4%2FwdkSI%3D&reserved=0