Comment Comment by pdexter Although it itself is deprecated, the TypeInType extension does exist.https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdfhttps://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ... parent pdexter 6 years ago
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...