I think you really hit the core issue here with singletons. There is no problem with global state if it is truly immutable (at least after initialization).

But the majority of singletons I have seen in practice (maybe my bad luck) contain mutable state. In the almost two decades I have been programming I have never come across a situation where I needed a singleton with mutable state. But hey I have not seen it all.