úÎ ƒ Safe-InferredRepresents kind * itself. 7Specifies what types are inhabitants of what subkinds. VConversion from a universally quantified type into a type that is fixed to a specific  inhabitant. YThis method exists to ensure that one cannot extend the subkind. If one would try to add M a new inhabitant, one would have to provide an implementation of  specialize. &The class of subkind representations. 8Universal quantification over the types of the subkind. For a subkind representation KindK of a subkind K and a type f of  kind * -> *, All KindK f is isomorphic to forall val :: K. f val. TConversion from a type that uses normal universal quantification into one that uses 7 subkind-specific universal quantification.   kinds-0.0.1.5 Data.KindKindStar Inhabitant specializeKindAllclosed$fInhabitantKindStarval$fKindKindStar