@Eugenio has been helping us and a we have a first draft to which we are trying to add reified generics support here:
https://github.com/kategory/implicits-processor the README is outdated but we are able thanks to
@Eugenio to detect implicit providers and consumers as long as they declare the same type and generate extension functions in consumers that replace the function args with the implicit provider.