I don’t believe we should invest any resource to make Haskell a dependently-typed language for the masses at this point.
I’m not sure who you include in this use of “we”, but the company I currently work at—Serokell—is investing resources in exactly that. To be more precise, the form in which they are investing is paying my salary, as implementing dependent types in Haskell is basically my job. I would like to ask you not to try to change their minds about this.
Besides, the GHC Steering Committee has accepted the Design for Dependent Types proposal. There’s huge demand for dependent types in Haskell (there’s also some resistance, but it doesn’t cancel out the demand).