Is it possible to let "selectorFamily" support data whose type should be inferred by parameter?

[babyfish-ct]

I published a framework graphql-ts-client，it can automatically infer queried data type according to strongly-type graphql request.

So I met a problem, I wish the returned function of "selectorFamily" can determine return type by parameter type.

Finally, I supported three wrapper functions for "selectorFamily" in FetchableSelectorFamily.ts.

Function	Signature
selectorFamily	<P>(param: P) => Fixed type
fetchableSelectorFamily.required	<P, T>(param: P, fetcher: Fetcher<?, T>) => T
fetchableSelectorFamily.optional	<P, T>(param: P, fetcher: Fetcher<?, T>) => T | undefined
fetchableSelectorFamily.list	<P, T>(param: P, fetcher: Fetcher<?, T>) => readonly T[]

The comparison in this table can describe my request very clearly, is it possible to let"selectorFamily" support data whose type should be inferred by parameter?

[babyfish-ct]

Impossible!

I spent a whole day researching this problem and found that it seemed to be an impossible goal.

Realizing this goal in a universal way is an illusion. Creating wrapper function for "selectorFamily" according to the specific situation seems to be the only way

[babyfish-ct]

eg: <T1, T2>(a: A, b: B, c: C, t1: T1, t2: T2) => [D, T1 & T2]

1. Parameters<T> can be used to get A, B, C, any, any
2. ReturnType<T> can be used to get [D, any]
3. But there is no way to Get "<T1, T2>". At least, the current TypeScript cannot