haskell mode для emacs
Что-то я не пойму. Все, что он умеет - это сканировать определения в пределах одного файла и запускать ghci в окне emacs-а? Не густо. Или я чего-то не понял и он все-таки может сам найти определение и вывести тип для произвольного имени?