レベル高いお話中すいませんが、エディタについて教えてください。
Sublime Text 2 の Ctrl-k の挙動が不快なので、
vi か Emacs に乗り換えることにしました。
どっちも簡単なテキスト編集くらいにしか使えないのですが、ちょっとしらべてみたところ、
vi では式中の選択した部分の型を表示することができるそうです。
Emacs では同じようなことができますかね？
ghc-mod を作った山本さんがむかしに、「やり方がわかればできる」的なことをつぶやいていたので、当時はできなかったのだと思うのですが、現在の状況はどうなんでしょう。