Although it itself is deprecated, the TypeInType extension does exist. https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf https://www.seas.upenn.edu/~swei

Although it itself is deprecated, the TypeInType extension does exist. https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf https://www.seas.upenn.edu/~sweirich/papers/fckinds.pdf https://www.reddit.com/r/haskell/comments/4180k3/what_is_typeintype/ https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ... https://www.reddit.com/r/haskell/comments/4180k3/what_is_typeintype/cz0onpy/ https://www.reddit.com/r/haskell/comments/4180k3/what_is_typ...