The small ecosystem plus not being production ready, are the reasons Idris and Agda are not there yet, and won't be any time soon (if ever). Also, in my experi

The small ecosystem plus not being production ready, are the reasons Idris and Agda are not there yet, and won't be any time soon (if ever). Also, in my experience, Haskell's user experience isn't all that bad. It seems to me that the author is worked up and dense for some reason, and is hoping that a custom base library will somehow help. All the advertised features on the website (https://neohaskell.org/ https://neohaskell.org/) are already in Haskell's base library or an import away. The "coming soon" "Pre-thought architecture" isn't, but I'm doubtful that there exists a single architecture that fits every problem.