It would be nice if you could give an example how we can get the result of implicit resolution at a given function call.