export type SubDataConstraint = { [k in (keyof O)]?: O[k]; };