Subkinds in general

class Kind kind

class Inhabitant kind inhabitant

Kind `*` as a subkind of itself