I'd prefer to stick with local opens (`Static.(...)`) rather than `open Static`.