Comment by DrBenCarson

You either die a hero or live long enough to become the villain

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