The problem with this is this is that it assumes the programming language is the last world in the developer experience. I am certainly a language person, and

The problem with this is this is that it assumes the programming language is the last world in the developer experience. I am certainly a language person, and you cannot get anywhere with a bad language, but merely having a good language is not enough. Working on github.com/obsidiansystems/obelisk/ we have very very many things we would like to work on, but not super much of it involves "adding new features" to Haskell. And yet the libraries are so richly layered e.g. the frontend feels more different from regular effectful code in Haskell, than regular effectful code in Haskell feels different from that in other languages. The one feature we would like in Haskell is arguably a "removing the weaknesses and restrictions that make additional features appear necessary" thing, which is something like https://github.com/conal/concat https://github.com/conal/concat and https://arxiv.org/abs/1007.2885 https://arxiv.org/abs/1007.2885. This would be a way to make some categorical DSL stuff less annoying to write because you have to make it point-free.