Infers parameter type annotations or JSDoc types from function calls. For TypeScript - introduces generic arguments if necessary.