This seems like a clear step forward, and I think we should accept.

I read the lively discussion, and my only minor concern is that "StarIsType" wastes extension namespace on the wart that is "*".  That's ok though because in time that extension could itself be deprecated.

 -Ryan


On Mon, Dec 18, 2017 at 9:53 PM, Joachim Breitner <mail@joachim-breitner.de> wrote:
Dear Committee,

this is your secretary speaking:

Richards proposes to merge -XTypeInType into -XPolyKinds and -XDataKinds
https://github.com/ghc-proposals/ghc-proposals/pull/83

I propose Yavor Diatchki as the Shepherd.

Yavor, please reach consensus as described in
https://github.com/ghc-proposals/ghc-proposals#committee-process

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
  http://www.joachim-breitner.de/

_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee@haskell.org
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee