Hello, I have just released ghc-mod v1.10.3. C-cC-t of this version was powered by Hideyuki Tanaka. The old implementation just show the type of the current expression on Emacs. Howver, the new implementation first show the type of the current expression and the expression is highlighted. If you type C-cC-t again, the region is enlarged to its upper expression, and its type is displayed. # I don't know well but this is called "annot" in the OCaml community Enjoy! --Kazu