[pdexter]

Although it itself is deprecated, the TypeInType extension does exist.

https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf

https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...

https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...

[matt-noonan]

And the only reason the language pragma is deprecated is because TypeInType is now just how things are, by default, with no opt-out.