https://www.zupitek.in/2024/12/monkeytype-automating-python-typing.html