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