Progressive type annotation without regression! 🚀 - View it on GitHub