Types as documentation is often very helpful for large products, particularly in tooling. From TFA:

> code intelligence, which aids code maintenance, navigation, transformation, and optimization

I suspect that for facebook, this could be just as important, if not more so, than code quality benefits.