subtype -> class_type