Consider the following example: ```haskell class Test a where test :: a -> () instance Test Int where test = _ ``` At `_`, it would be nice to have the method `test` in the completion list, e.g. for recursive invocations, this is not the case currently, however: 