Kind → Type