Type alias FindReturnType<M, P>

FindReturnType<M, P>: M extends [h: infer H, t: infer T]
    ? H extends [P, infer R]
        ? R
        : FindReturnType<T, P>
    : never

Look up the return type for a Parameters tuple from the filtered overload map