I'm OK with the "making up stuff" nature of ChatGPT, but I found it unproductive in GithubCopilot ( Python). As the latter is a paid service for ~1+ year, I was expecting to be merged with the previous machinery (e.g., static type checkers, etc.)?