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

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 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 https://wiki.haskell.org/Emacs)