WingNews logo WingNews
top | new | best | ask | show | jobs
top | item 22199516

(no title)

pdexter | 6 years ago

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

discuss

order

matt-noonan|6 years ago

And the only reason the language pragma is deprecated is because TypeInType is now just how things are, by default, with no opt-out.
powered by hn/api // news.ycombinator.com