Inference of Subtypes