What's the type of a type? Can a type abstract over polymorphic types? Find the answers to these questions in our article on kinds in Haskell.| Kinds and Higher-Kinded Types in Haskell