After the type syntax has been checked und nullary type constructors and type variables have been disambiguated, the compiler infers kinds for all type constructors and type classes defined in the current module and performs kind checking on all type definitions and type signatures.