typescript : type check optional parameter in a Function passed as arguments

Question

Here is the code: (question follows)

export type SomeType = 
    T extends [infer A, infer B] ?
      (fst: A, snd:B) => Promise