“Show Type” for holes

[kerscher]

Since one must have no type or kind errors to show types on expressions,
one recurring pattern I use is to temporarily enable PartialTypeSignatures on the file and then leave holes on the type signatures to let the IDE guide me.

Together with “Show Type” this enables me to quickly scan code on tricky sections.
A minor annoyance is that the type inferred for the hole is only available in the bottom of the screen:

A nice addition IMHO would be to allow “Show Type” on the hole itself, showing the inferred type in the same kind of popup used for other expressions. Is there interest in this? I could take a look on how to add it.

[kerscher]

The example above is useless, but I guarantee it's useful in practice ;)