> C-c C-t works and shows the type of the expression under the cursor, > but <C-down-mouse-2> puts in the mini-buffer/message area "Wrong type argument: This functionality is now (tuareg 2.0.6) supposed to be bound to C-c <down-mouse-1> but the result is the same a you described. -Ralf.