Yes -- these are very much on the TODO list. Sadly, visible type application didn't make it. It could with another two weeks(?), but I don't think it's worth holding things up further. Unlike D808, visible type application doesn't touch wide swaths of code, so merging it after the ghc-8.0 branch won't cause backporting trouble. I plan on writing a longish section in the user manual about GHC's kind system, updating the PolyKinds discussion already there. Should happen this week. Richard On Dec 14, 2015, at 8:32 AM, Ben Gamari wrote:

Hi Richard!

This is probably on your to-do list, but here are a few places where I think the no-kinds work could use some documentation,

- the introduction of kind equalities could use a brief note in the release notes

- visible type application should be mentioned in the release notes (this made it in, right?)

- visible type application syntax should be described in the users guide

- `-XTypeInType` needs some discussion in the users guide. Be sure to mention the fact that `*` needs to be imported explicitly and state precisely how one would do this (since it is a symbol)

- the notion of levity could use a bit of discussion in the users guide

Cheers,

- Ben