Find method references of specific class instance

VSCode has menu item "Go to references". Applied to method instance it gives all places where method is mentioned, but don't filter by type for which instance is defined.
A few methods (such us parseJSON from Aeson FromJSON) could be used in many places.
So search produce a long list which doesn't help a lot.
The search option should have a constraint option taking into account type to make answer more relevant. All places calling parseJSON specify required type.

Instead of command: find all `parseJSON` invocations
Command: find all `parseJSON @Foo` invocations

No files or tests are named. Start by tracing Haskell Language Server's implementation of VSCode's "Go to references" and how it obtains type information for calls such as Aeson FromJSON's parseJSON. Done means references can be constrained by the required instance type, such as finding parseJSON @Foo calls instead of every parseJSON invocation.

Written by the indexing model from the issue text.