What would satisfy you? And don't you think you are holding Haskell to an unfair standard that you're not holding to other languages? Do you have research to s

What would satisfy you? And don't you think you are holding Haskell to an unfair standard that you're not holding to other languages? Do you have research to show a GC is better than manual memory management? That object oriented programming is any better than procedural? Or any of the other thousands of questions you could ask about extant languages today. But for some reason you need rock-solid evidence dependent typing does X before it's worthwhile to be used in an language?