@tomasruizlopez sorry for the lack of info on the issue I raised. I've added some more context https://github.com/arrow-kt/kotlin/issues/7#issuecomment-427543278

Thanks Jacob. I am aware of that. The diagnose is exactly as you mention in the issue. The static analysis doesn't take into consideration what we are doing in the implicit resolution algorithm, and so, it marks the class as unused. AFAIK, this is also the case in Scala with implicits. But in any case, it is something that we need to address properly.