Yeah, the "type of types" is called a kind in Haskell https://wiki.haskell.org/Kind https://wiki.haskell.org/Kind https://en.wikipedia.org/wiki/Kind_(type_theor

Yeah, the "type of types" is called a kind in Haskell https://wiki.haskell.org/Kind https://wiki.haskell.org/Kind https://en.wikipedia.org/wiki/Kind_(type_theory) https://en.wikipedia.org/wiki/Kind_(type_theory) Caveat: there seems to be some reason not to think of kinds as actually being the types of datatypes, but I don't understand why that is.