kind: The type of a type constructor </>