tengo un componente

 <ButtonGroup value={value} options={[1, 2, 3, 4, 5, 6].map((x) => { return { label: x, value: x }; })} />

Estoy usando Flow para la verificación de tipos y quiero saber si es posible que el componente ButtonGroup se escriba de forma genérica de tal manera que genere un error de flujo si el tipo de value no es el mismo que el tipo de option.[0].value ? Esto debería funcionar para cualquier tipo coincidente, por ejemplo, número, matriz, etc., y solo aumenta si el tipo de value y la option[at_some_index].value son diferentes

Lo que tengo actualmente:

 type Props<T> = { options: Array<{ label: React$Node, value: T, }>, value: T, };

Esto funciona bien para verificar los tipos coincidentes, pero solo para un tipo en particular. por ejemplo si lo hago

 export const ButtonGroup = ({options, value}: Props<number>) => {do stuff}

Funcionará para los tipos de números como se esperaba, pero si agrego tipos de unión para que tengan el mismo comportamiento para cadenas, matrices, así Props<number | string | []> el flujo deja de generar un error si los tipos de valores no coinciden.

A continuación tampoco funciona:

 export const ButtonGroup = <T>({options, value}: Props<T>) => {do stuff}

Sé que esto se puede hacer en Typescript y me preguntaba si esto se puede hacer en Flow.

¡Gracias!