If one squints, this is the heart of the article: scope. The lust to get to a final, complete set of types across all projects for the system for all time will

If one squints, this is the heart of the article: scope. The lust to get to a final, complete set of types across all projects for the system for all time will never be satisfied. The question moves to who has the preferred shims.