Comment by pdexter | Hacker News Reader

Top New Best Ask Show Jobs

Comment by pdexter | Hacker News Reader

Parent Full thread

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...

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

Reply on news.ycombinator.com