ENSIME is a very nice Scala package for Emacs: http://t.co/9BxwSWjFl5 -- why don't more languages offer an 'inspect type' feature?