pandas' Public API Is Now Type-Complete!

We tell the story of how we helped make pandas' public API type-complete, and how to prevent it from regressing