Goto References should find references for the current type

[fendor]

Essentially, help you find all occurrences for a polymorphic function of a given type. Example, maybe you want to find all occurrences of (==) :: Foo -> Foo -> Foo.
Currently, iirc, goto References will find all occurrences of (==) regardless of the type.

If I am not mistaken, such a query is currently not possible.

Afaict, it should be easily possible to implement this feature, but the Client UI might be a bit complicated.

[michaelpj]

The main issue is that it's not clear how we would know whether the user wants the uses of the instantiated or non-instantiated method. It seems like the requested behaviour could be surprising if you're not expecting it.