[Typing-sig] Reconsidering ParametersOf and ReturnType