implicit parameters in conv mode

Stream: new members

[?????]

Is there a way to navigate to implicit parameters of functions in conversion mode?

[Scott Morrison]

Probably not, although it shouldn't be too hard to add a new tactic that allows this.