Ideal kinds