AgeRange: ExactC<TypeC<{ id: NumberC; name: StringC }>> = ...