points
But yes types are necessary for enterprise adoption. Even more important for agentic adoption.