struct Inner {..}

enum Entry {
  Root {
    subject_type: TypeId,
    selector: TypeConstraint,
  },
  Inner(Inner)
  ...
}