//parameter type Parameter<T extends (...args: any[]) => any> = T extends (...args: infer P) => any ? P : never; type paraMeterCheck = Parameter<(a: string, b: string) => void>;