Tengo el siguiente tipo de objeto en Flow:

 type Identity = { name: string, lastName: string }; type ExtraInfo = { favoriteColor: string, age: number }; type Person = { a: Identity, b?: ExtraInfo };

¿Hay alguna forma de definir desde Persona un tipo sin ningún tipo quizás?:

 // final result, but I don't want to redeclare all the properties, I want to derive from the Person type type PersonWithExtraInfo = { a: Identity, b: ExtraInfo };

Pensé que al aplicar esto funcionaría, pero al parecer, no. Tal vez porque no es un tipo quizás lo que está definido, sino una propiedad opcional:

 type NonMaybeType = <Type>(Type) => $NonMaybeType<Type>; export type PersonWithExtraInfo = $ObjMap<Person, NonMaybeType>;