A Python library that generates static type annotations by collecting runtime types - View it on GitHub