[seanmcdirmid]

So you mean, Haskell has a bunch of people who prefer to use the force rather than their targeting computers? So Haskell's language design obviates the need for good code completion or pervasive display of type inference results?

Also, as the joke goes, well typed programs can't go wrong in Haskell because the debugger just isn't that great.

[59nadir]

Most serious Haskell users are most likely using a REPL and when doing this it's trivial to get and think about type information even while checking other stuff. It's also obviously part of the thought process while developing anyway, so I don't see the same value in this as you do. There's a cost to having a full IDE anyway and it's more sensible to get the features you do want (auto-completion, etc.) from plugins and then not using a IDE.

Even if you want these things, there are better ways to go about this instead of making a whole gargantuan interface to get a couple of features.

I'm not usually one to tell people what they should be working on, but time could be spent on this instead:

https://github.com/haskell/haskell-mode/wiki

(See also this for how to get in-source error information and type checking, if needed:

https://wiki.haskell.org/Emacs)