ML isn't that popular though right? Would it be fair to say GHC had the most impressive optimizations of mainstream language?

With that said I certainly wonder why ML isn't more popular!