Does haskell-mode or some alternative package offer something akin to the wonderful inferior-haskell-type inside a where clause?
For example, suppose I have
foo = undefined where
bar = complicated
...
it would be super-awesome to be able to place the marker at bar and inspect its type.