Typescript: How to infer a generic type in a higher order function from the input parameter of the returned function

Question

type FindCallback = (value: T) => boolean;

type FindResult = (arr: T[]) => T | undefined;

type FindFn =