Приветствую. Никто не находил/делал типизированную декларативную форму для реакта? Я думал написать,

но выходит нечто страшное (набираю по памяти, скорее чтобы концепт передать, доступа к исходникам сейчас нет):

type FormElementProps<T> = {
value: T
onChange: (newValue: T) => void
}

type AddConverters<TComponentValue, TFormValue> =
(TComponentValue extends TFormValue
? { toForm?: never }
: { toForm: (componentValue: TComponentValue) => TFormValue }
) & (
TFormValue extends TComponentValue
? { fromForm?: never }
: { fromForm?: (formValue: TFormValue) => TComponentValue }
)

type FormElementDescriptor<TValue> =
<TComponent>(Component: TComponent extends React.ComponentType<
infer TProps> ? TProps extends FormElementProps<infer TComponentValue> ? TComponent : never : never): (prop: Omit<TProps, keyof FormElementProps<any> & AddConverters<TComponentValue, TValue>) => React.ReactNode;

type FormProps<T> = FormElementProps<T> & {
[K in keyof T]: (f: FormElementDescriptor<T[K]>) => React.ReactNode
}

// usage
const model = {
a: 'ggfgjgdhh',
b: 678
}

const formProps: FormProps<typeof model> = {
value: model,
onChange: noop,
a: f => f(SomeTextInput)({
required: true,
style: {}
}),
b: f => f(SomeNumericInput)({
required: true,
style: {}
})
}

Formik, final form