Structured subtypes