SubValue: t.Type<SubValue> = ...