Kind system

A meta-level concept in the Haskell type system that describes the 'type' of a type, namely the number and kind of type parameters a type constructor accepts. It is used to statically check the legality of type applications.