X extends Schema<infer Y> ? Y : never
Schema
Y
Extract the validated value type T from a Schema<T>.
T
Schema<T>
type V = SchemaType<typeof STRING> // string